@article {AGyK98, title = {{IDT}: Integrated system for debugging and testing Prolog programs}, journal = {Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica}, volume = {17}, year = {1998}, pages = {3-17}, author = {Z. Alexin and Tibor Gyim{\'o}thy and G. K{\'o}kai} }