APA (7th ed.) Citation

Apt, K. R., Marchiori, E., & Palamidessi, C. (1992). A theory of first-order built-in's Prolog.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R., Elena Marchiori, and Catuscia Palamidessi. A Theory of First-order Built-in's Prolog. Amsterdam, 1992.

MLA (9th ed.) Citation

Apt, Krzysztof R., et al. A Theory of First-order Built-in's Prolog. 1992.