@book{22572,
	author = {32},
	title = {CONSTRAINT SATISFACTION IN LOGIC PROGRAMMING}
}