APA (7th ed.) Citation

Kifer, M., & Liu, Y. A. (2018). Declarative logic programming: Theory, systems, and applications. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

Kifer, Michael, and Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. New York: Association for Computing Machinery, 2018.

MLA (9th ed.) Citation

Kifer, Michael, and Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. Association for Computing Machinery, 2018.

Warning: These citations may not always be 100% accurate.