@conference {TKCs98,
	title = {Development of {SPECG} System for Automated {ECG} Analysis},
	booktitle = {XXVth International Congress on Electrocardiology and 39th International Vectorcardiography},
	year = {1998},
	month = {jun},
	pages = {37},
	author = {A. Thury and G. K{\'o}kai and J. Csirik and Tibor Gyim{\'o}thy and M. Csan{\'a}dy}
}
@article {Kokai_diagnosisof,
	title = {Diagnosis of Heart Diseases with the Help of the {PECG} System},
	journal = {Annals of Noninvasive Electrocardiology},
	volume = {3},
	number = {2-3},
	year = {1998},
	pages = {58},
	author = {G. K{\'o}kai and A. Thury and Tibor Gyim{\'o}thy and J. Csirik and M. Csan{\'a}dy}
}
@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 {conf/lpe/KokaiHG97,
	title = {Algorithmic Debugging and Testing of Prolog Programs.},
	booktitle = {LPE},
	year = {1997},
	pages = {14-21},
	keywords = {dblp},
	url = {http://dblp.uni-trier.de/db/conf/lpe/lpe97.html$\#$KokaiHG97},
	author = {G. K{\'o}kai and L. Harmath and Tibor Gyim{\'o}thy}
}
@conference {Kokai:1996:ALE:647996.742603,
	title = {Analyzing and Learning {ECG} Waveforms},
	booktitle = {Selected Papers from the 6th International Workshop on Inductive Logic Programming},
	year = {1997},
	pages = {152{\textendash}171},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {London, UK},
	isbn = {3-540-63494-0},
	url = {http://dl.acm.org/citation.cfm?id=647996.742603},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy}
}
@inbook {springerlink:10.1007/BFb0029443,
	title = {Application of inductive logic programming for learning {ECG} waveforms},
	booktitle = {Artificial Intelligence in Medicine},
	series = {Lecture Notes in Computer Science},
	volume = {1211},
	year = {1997},
	note = {10.1007/BFb0029443},
	pages = {126-129},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	isbn = {978-3-540-62709-8},
	url = {http://dx.doi.org/10.1007/BFb0029443},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy},
	editor = {Keravnou, Elpida and Garbay, Catherine and Baud, Robert and Wyatt, Jeremy}
}
@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 {Kokai_learningecg,
	title = {Learning {ECG} Grammars},
	booktitle = {Fifth Symposium on Programming Languages and Software Tools},
	year = {1997},
	pages = {84-95},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy}
}
@conference {KCsGy97,
	title = {Learning syntax and semantics of {ECG} grammars},
	booktitle = {Proceedings of 5th Congress of IAAI},
	year = {1997},
	month = {sep},
	pages = {171},
	author = {G. K{\'o}kai and J. Csirik and Tibor Gyim{\'o}thy}
}
@inbook {springerlink:10.1007/3-540-63576-9_106,
	title = {Learning the syntax and semantic rules of an {ECG} grammar},
	booktitle = {AI*IA 97: Advances in Artificial Intelligence},
	series = {Lecture Notes in Computer Science},
	volume = {1321},
	year = {1997},
	pages = {171-182},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	isbn = {978-3-540-63576-5},
	url = {http://dx.doi.org/10.1007/3-540-63576-9_106},
	author = {G. K{\'o}kai and J. Csirik and Tibor Gyim{\'o}thy},
	editor = {Lenzerini, Maurizio}
}
@article {Kokai_Alexin_Gyimothy_1996,
	title = {Analyzing and Learning {ECG} Waveforms},
	journal = {The Sixth International Workshop on Inductive Logic Programming ILP96},
	volume = {312292},
	number = {36},
	year = {1996},
	pages = {127{\textendash}145},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy}
}
@conference {KokAleGyi96-PAP96,
	title = {Classifying {ECG} Waveforms in {P}rolog},
	year = {1996},
	pages = {173-199},
	publisher = {Practical Application Company Limited},
	organization = {Practical Application Company Limited},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy},
	editor = {Reintjes, P.}
}
@conference {KokAleGyi96-ILP96,
	title = {Learning Biomedical Patterns},
	volume = {1314},
	year = {1996},
	pages = {159-168},
	author = {G. K{\'o}kai and Z. Alexin and Tibor Gyim{\'o}thy},
	editor = {Muggleton, S.}
}
@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.}
}
@conference {Toczki:1991:SSD:111924.111938,
	title = {{SYS/3} - a software development tool},
	booktitle = {Proceedings of the third international workshop on Compiler compilers},
	year = {1991},
	pages = {193{\textendash}207},
	publisher = {Springer-Verlag New York, Inc.},
	organization = {Springer-Verlag New York, Inc.},
	address = {New York, NY, USA},
	isbn = {0-387-53669-8},
	url = {http://dl.acm.org/citation.cfm?id=111924.111938},
	author = {J. Toczki and Kocsis, F. and Tibor Gyim{\'o}thy and G. D{\'a}nyi and G. K{\'o}kai}
}
