Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.. 1997.
Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.. 1998.
CONSTRUCTOR: A Natural Language Interface Based on Attribute Grammars. Acta Cybernetica. 9:247-255.. 1990.
THALES: a software package for plane geometry constructions with a natural language interface. Proceedings of the 13th conference on Computational linguistics - Volume 1. :44–46.. 1990.
Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.. 1993.
Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.. 1995.
Incremental Algorithms in Prof-LP. CC. 371:93-102.. 1988.
Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.. 1989.
Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.. 1994.
CONSTRUCTOR: A natural language interface based on attribute grammars. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :135-145.. 1989.
Application of Different Learning Methods to Hungarian Part-of-Speech Tagging. Proceedings of the 9th International Workshop on Inductive Logic Programming. :128–139.. 1999.
Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.. 1988.