{"id":"https://openalex.org/W2402575286","doi":"https://doi.org/10.1142/9789814368452_0021","title":"PROVING TERMINATION OF LOGIC PROGRAMS","display_name":"PROVING TERMINATION OF LOGIC PROGRAMS","publication_year":1989,"publication_date":"1989-06-01","ids":{"openalex":"https://openalex.org/W2402575286","doi":"https://doi.org/10.1142/9789814368452_0021","mag":"2402575286"},"language":"en","primary_location":{"id":"doi:10.1142/9789814368452_0021","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814368452_0021","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"A Perspective in Theoretical Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060810339","display_name":"Bal Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bal Wang","raw_affiliation_strings":["Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017907603","display_name":"R. K. Shyamsundar","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]},{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"R. K. Shyamsundar","raw_affiliation_strings":["Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USA","Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, India","Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USATata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Department of Computer Science, Pennsylvania State University, University Park, PA 16802, USATata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, India","institution_ids":["https://openalex.org/I11947397","https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060810339"],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":null,"apc_paid":null,"fwci":1.64072889,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.84350133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"380","last_page":"397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12805","display_name":"Cognitive Science and Mapping","score":0.08089999854564667,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12805","display_name":"Cognitive Science and Mapping","score":0.08089999854564667,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11891","display_name":"Big Data and Business Intelligence","score":0.07840000092983246,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13985","display_name":"Enterprise Management and Information Systems","score":0.07240000367164612,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5691769123077393},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5532125234603882}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5691769123077393},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5532125234603882}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/9789814368452_0021","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814368452_0021","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"A Perspective in Theoretical Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}