Declarative logic programming theory, systems, and applications - Kifer, Michael; Liu, Yanhong Annie (Association for Computing Machinery, 2018)