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