@book{19540,
	author = {Stobo,  John},
	title = {Problem solving with prolog /}
}