@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} }