Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1987.  PROF-LP user’s guide.

Toczki J., Gyimóthy T, Kocsis F., Horváth T..  1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.

Gyimóthy T, Horváth T., Kocsis F., Toczki J..  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.

Gyimóthy T, Horváth T., Kocsis F., Toczki J..  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.

Gyimóthy T, Horváth T, Kocsis F, Toczki J.  1988.  Incremental Algorithms in Prof-LP. CC. 371:93–102.

Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.

Fábricz K., Alexin Z., Gyimóthy T, Horváth T..  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.

Horváth T., Alexin Z., Gyimóthy T, Fábricz K..  1990.  Towards a Multilingual Natural Language Understanding Interface (Extended Abstract). CC. :217-218.

Blázsik Z, Hujter M, Pluhár A, Tuza Z..  1993.  Graphs with no induced C4 and 2K2. Discrete Mathematics. 115:51–55.

Horváth T., Gyimóthy T, Alexin Z., Kocsis F..  1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.

Hajnal A, Maass W, Pudlák P, Szegedy M, Turán G.  1993.  Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.

Paakki J., Gyimóthy T, Horváth T..  1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.

Paakki J., Gyimóthy T, Horváth T..  1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.

Horváth T, Sloan RH, Turán G.  1996.  Learning Logic Programs with Random Classification Noise. Inductive Logic Programming Workshop. 1314:315–336.

Kókai G, Harmath L, Gyimóthy T.  1997.  Algorithmic Debugging and Testing of Prolog Programs. LPE. :14–21.

Szepesvári C., Lörincz A..  1997.  Approximate Inverse-Dynamics based Robust Control using Static and Dynamic State Feedback. Applications of Neural Adaptive Control Technology. :151–197.

Horváth T, Sloan RH, Turán G.  1997.  Learning Logic Programs by Using the Product Homomorphism Method. COLT. :10–20.

Gyimóthy T, Horváth T..  1997.  Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.

Blázsik Z., Holló C., Imreh B..  1998.  On Decision-mappings Related to Process Network Synthesis Problem. Acta Cybern.. 13:319–328.

Paakki J., Gyimóthy T, Horváth T..  1998.  Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.

Horváth T., Alexin Z., Gyimóthy T, Wrobel S..  1999.  Application of Different Learning Methods to Hungarian Part-of-Speech Tagging. Proceedings of the 9th International Workshop on Inductive Logic Programming. :128–139.

Harmath L., Szilágyi G., Gyimóthy T, Csirik J..  1999.  Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.

Holló C., Blázsik Z., Imreh C., Kovács Z..  1999.  On a Merging Reduction of the Process Network Synthesis Problem. Acta Cybern.. 14:251–261.

Szilágyi G., Harmath L., Gyimóthy T..  2001.  The Debug slicing of logic programs. Acta Cybernetica. 15:257–278.

Horváth T, Turán G.  2001.  Learning logic programs with structured background knowledge. Artif. Intell.. 128:31–97.