APA (7th ed.) Citation

Apt, K. R., Marchiori, E., & Palamidessi, C. (1992). A declarative approach for first-order built-in's of prolog.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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