Kifer, M., & Liu, Y. A. (2018). Declarative logic programming: Theory, systems, and applications. Association for Computing Machinery.
Цитирование в стиле Чикаго (17-е изд.)Kifer, Michael, и Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. New York: Association for Computing Machinery, 2018.
Цитирование MLA (9-е изд.)Kifer, Michael, и Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. Association for Computing Machinery, 2018.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.