@book{371442,
	author = {Kifer, M.},
	title = {Declarative Logic Programming :},
	publisher = {Association for Computing Machinery,},
	year = {[2018]},
	series = {ACM books ;},
	address = {[Place of publication not identified] :},
	edition = {First edition.},
	note = {Includes index.},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=6954883}
}