@book{1721264,
	author = {Warren},
	title = {Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6267525}
}