@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}
}
@conference {KHGy97,
	title = {{IDTS}: a Tool for the Debugging and Testing of Prolog Programs},
	booktitle = {8th Conference on Logic and Computer Science},
	year = {1997},
	pages = {103-110},
	author = {G. K{\'o}kai and L. Harmath and Tibor Gyim{\'o}thy}
}
@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}
}
@conference {KAK94,
	title = {The {IDT} System and its Application for Learning Prolog Programs},
	booktitle = {Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots},
	year = {1994},
	month = {sep},
	pages = {315-320},
	author = {G. K{\'o}kai and Z. Alexin and Kocsis, F.}
}
