Declarative Logic Programming: Theory, Systems, and Applications

Author

Michael Kifer and Annie Liu

Publisher

Association for Computing Machinery

Subject

Logic Programming

Year

2018

ISBN

9781970001990