Declarative Logic Programming: Theory, Systems, and Applications

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},
}