Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi. A Theory of First-Order Built-in s of Prolog. In Hélène Kirchner, Giorgio Levi, editors, Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings. Volume 632 of Lecture Notes in Computer Science, pages 69-83, Springer, 1992.
@inproceedings{AptMP92,
title = {A Theory of First-Order Built-in s of Prolog},
author = {Krzysztof R. Apt and Elena Marchiori and Catuscia Palamidessi},
year = {1992},
tags = {Prolog},
researchr = {https://researchr.org/publication/AptMP92},
cites = {0},
citedby = {0},
pages = {69-83},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings},
editor = {Hélène Kirchner and Giorgio Levi},
volume = {632},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55873-X},
}