@conference {conf/lpe/KokaiHG97,
	title = {Algorithmic Debugging and Testing of Prolog Programs.},
	booktitle = {LPE},
	year = {1997},
	pages = {14-21},
	keywords = {dblp},
	url = {http://dblp.uni-trier.de/db/conf/lpe/lpe97.html$\#$KokaiHG97},
	author = {G. K{\'o}kai and L. Harmath and Tibor Gyim{\'o}thy}
}
