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