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