@book{513,
	author = {DeGroot, Dough},
	title = {Logic programming},
	year = {1986},
	address = {New Jersey: Prentice-Hall}
}