Kifer, M., & Liu, Y. A. (2018). Declarative logic programming: Theory, systems, and applications. Association for Computing Machinery.
Chicago Style (17th ed.) CitationKifer, Michael, and Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. New York: Association for Computing Machinery, 2018.
MLA (9th ed.) CitationKifer, 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.