@book{888,
	author = {Kifer, M. and Liu, Yanhong Annie,},
	title = {Declarative logic programming :},
	publisher = {Association for Computing Machinery ;},
	year = {2018.},
	series = {ACM books,},
	address = {[New York] :},
	edition = {First edition.},
	url = {http://dx.doi.org/10.1145/3191315}
}