@book{1721263,
	author = {Schreye},
	title = {Logic Programming: Proceedings of the 1999 International Conference on Logic Programming},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6267511}
}