Studies in Pure Prolog: termination

Additional Metadata
Publisher	Springer-Verlag
Conference	Computational Logic Conference
Organisation	Logic and language
Citation APA APA Style APA-ALL Style AAA 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. (1990). Studies in Pure Prolog: termination. Proceedings of Computational Logic Conference 1990, 150–176.

Publication