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