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.
Abstract is missing.