Publications
.  
1995.  IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
.  
1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.  
1995.  Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
.  
1995.  Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
.  
1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
.  
1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.  
1992.  Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.  
1992.  Integrated Graphic Enviroment to Develop Applications Based on Attribute Grammars. Lecture Notes in Computer Science. 641:51-58.
.  
1991.  Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.  
1991.  Natural Languages Interface Construction Using Attribute Grammars. Attribute Grammars Applications and Systems. 545:460–468.
.  
1991.  Software generation based on attribute grammars. Periodica Polytechnica. 35:147-152.
.  
1991.  SYS/3 - a software development tool. Proceedings of the third international workshop on Compiler compilers. :193–207.
.  
1990.  Attribute Grammar Specification for a natural-language understanding interface. Lecture Notes in Computer Science. 461:313-326.
.  
1990.  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.  Towards a Multilingual Natural Language Understanding Interface (Extended Abstract). CC. :217-218.
.  
1989.  CONSTRUCTOR: A natural language interface based on attribute grammars. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :135-145.
.  
1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.  
1989.  SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
.  
1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
.  
1988.  Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.
.  
1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.
.  
1988.  Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.  
1987.  PROF-LP user's guide. 
.  
1987.  Syntactic pattern recognition in the HLP/PAS system. Acta Cybern.. 8:79–88.

 ]
]