Reasoning about termination of pure Prolog programs

1993

Information and Computation , Volume 106 - Issue 1 p. 109- 157

Additional Metadata
MSC	Specification and verification (program logics, model checking, etc.) (msc 68Q60), Semantics (msc 68Q55), Artificial intelligence (msc 68Txx)
Publisher	Academic Press
Journal	Information and Computation
Organisation	Networks and Optimization
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K., & Pedreschi, D. (1993). Reasoning about termination of pure Prolog programs. Information and Computation, 106(1), 109–157.

Publication