TY  - BOOK
AU  - Kifer,M.
AU  - Liu,Yanhong Annie
TI  - Declarative Logic Programming: Theory, Systems, and Applications 
T2  - ACM books
AV  - QA76.615 .D435 2018
U1  - 005.131 23
PY  - 2018///]
CY  - [Place of publication not identified]
PB  - Association for Computing Machinery
KW  - Declarative programming
KW  - Logic programming
KW  - Electronic books
N1  - Includes index
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=6954883
ER  -