Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. ACM / Morgan & Claypool, 2018. [doi]
@book{18-1, title = {Declarative Logic Programming: Theory, Systems, and Applications}, year = {2018}, doi = {10.1145/3191315}, url = {https://doi.org/10.1145/3191315}, researchr = {https://researchr.org/publication/18-1}, cites = {0}, citedby = {0}, editor = {Michael Kifer and Yanhong Annie Liu}, publisher = {ACM / Morgan & Claypool}, isbn = {978-1-97000-199-0}, }