Michael Kifer and Yanhong Annie Liu (2018) Declarative Logic Programming: Theory, Systems, and Applications. ACM Books series. ISBN 978-1-97000-197-6 (Submitted)