@book{22125,
	author = {31},
	title = {LOGIC PROGRAMMING}
}