@book{208352,
	author = {Jack, Oliver. and ebrary, Inc.},
	title = {Software testing for conventional and logic programming},
	publisher = {W. de Gruyter,},
	year = {1996.},
	address = {Berlin ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10588545}
}