@conference {AGyK95, title = {{IDT}: Integrated system for debugging and testing Prolog programs}, booktitle = {Fourth Symposium on Programming Languages and Software Tools}, year = {1995}, month = {jun}, pages = {312-324}, author = {Z. Alexin and Tibor Gyim{\'o}thy and G. K{\'o}kai} }