• H. Anai, K. Horimoto, T. Kutsia (editors). Algebraic Biology. Proceedings of the 2nd International Conference, July 2-4, 2007. Hagenberg, Austria. Volume 4545 of the Lecture Notes in Computer Science. Springer Verlag, 2007. © Springer Verlag.
  Link to the publisher's page. Bibtex.

• T. Kutsia. Foreword to the special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science. In press.
  PDF, DOI: 10.1016/j.jsc.2010.01.005.
  

• T. Kutsia, J. Levy, M. Villaret. On the Relation Between Context and Sequence Unification. J. Symbolic Computation. 45(1):74--95, 2010. DOI: 10.1016/j.jsc.2009.07.001.
  PDF, Bibtex.
  
• M. Marin, T. Kutsia. On the Computation of Quotients and Factors of Regular Languages. Frontiers of Computer Science in China. To appear.
  
• T. Kutsia. Flat Matching. J. Symbolic Computation 43(12):858--873, 2008. DOI: 10.1016/j.jsc.2008.05.001.
  PDF, Bibtex.
  
• T. Kutsia. Solving Equations with Sequence Variables and Sequence Functions. J. Symbolic Computation, 42(3):352--388, 2007. DOI: 10.1016/j.jsc.2006.12.002.
  PDF, Bibtex.
• B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. J. Applied Logic, 4:470--504, 2006.
  Postscript (gzipped), PDF, Bibtex.
• M. Marin, T. Kutsia. Foundations of the Rule-Based System RhoLog. J. Applied Non-Classical Logics, 16(1-2):151-168, 2006.
  Postscript, PDF, Bibtex.
• T. Kutsia. Context Sequence Matching for XML. Electronic Notes on Theoretical Computer Science, 157(2):47-65, 2006. © Elsevier Science.
  Postscript, PDF, Bibtex.
• T. Kutsia. Pattern Unification with Sequence Variables and Flexible Arity Symbols. Electronic Notes on Theoretical Computer Science, 66(5):52-69, 2002. ©  Elsevier Science.
  Postscript, PDF, Bibtex.

• M. Marin, T. Kutsia. Linear Systems for Regular Hedge Languages. In: J. Grundspenkis, M. Kirikova, Y. Manolopoulos, L. Novickis, editors, Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers. September 7, 2009. Riga, Latvia. Volume 5968 of Lecture Notes in Computer Science. Springer Verlag, 2010. 104-112. © Springer Verlag.
  PDF, Bibtex.
• B. Dundua, T. Kutsia, M. Marin, Strategies in PρLog. In: M. Fernández, editor, 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09), June 28, 2009, Brasilia, Brazil. Electronic Proceedings in Theoretical Computer Science 15, 2010, pp. 32-43.
  PDF, Bibtex.
• J. Coelho, M. Florido, T. Kutsia. Collaborative Schema Construction using Regular Sequence Types. In: Proceedings of the 2009 IEEE International Conference of Information Reuse and Integration (IRI'09). August 10-12, 2009. Las-Vegas, USA. 290-295. © IEEE.
  PDF , Bibtex.
• J. Coelho, M. Florido, T. Kutsia. Sequence Disunification and its Application in Collaborative Schema Construction. In: M. Weske, M.-S. Hacid, C. Godart, editors, Web Information Systems - WISE 2007 Workshops, December 3-7, 2007. Nancy, France. Volume 4832 of Lecture Notes in Computer Science. Springer Verlag, 2007. 91-102. © Springer Verlag.
• T. Kutsia, J. Levy, M. Villaret. Sequence Unification Through Currying. In: F. Baader, editor, Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07), June 26-28, 2007. Paris, France. Volume 4533 of the Lecture Notes in Computer Science. Springer Verlag, 2007. 288-302. © Springer Verlag.
  Postscript, PDF, Bibtex.
• T. Kutsia, M. Marin. Matching with Regular Constraints. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR'05. December 2-6, 2005. Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2005. 215-229. © Springer Verlag.
  Postscript, PDF, Bibtex.
• F. Piroi, T. Kutsia. The Theorema Environment for Interactive Proof Development. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR'05. December 2-6, 2005. Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2005. 261-275. © Springer Verlag.
  Postscript, PDF, Bibtex.
• T. Kutsia. Solving Equations Involving Sequence Variables and Sequence Functions. In: B. Buchberger and J. Campbell, editors, Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC'04), September 22-24, 2004, Hagenberg, Austria, Volume 3249 of Lecture Notes in Artificial Intelligence, Springer Verlag, 2004, 157-170. © Springer Verlag.
  Postscript, PDF, Bibtex. (Revised version)
• T. Kutsia, B. Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. In: A. Asperti, G. Bancerek, and A. Trybulec, editors, Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04), September 19-21, 2004, Bialowieza, Poland, Volume 3119 of Lecture Notes in Computer Science, Springer Verlag, 2004, 205-219. ©  Springer Verlag.
  Postscript, PDF, Bibtex.
• T. Kutsia. Equational Prover of Theorema. In: R. Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA'03, June 9-11, 2003, Valencia, Spain. Volume 2706 of Lecture Notes in Computer Science, Springer Verlag, 2003, 367-379. © Springer Verlag.
  Postscript, PDF, Bibtex.
• T. Kutsia. Theorem Proving with Sequence Variables and Flexible Arity Symbols. In: M. Baaz and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 9th International Conference LPAR'02, October 14-18, 2002, Tbilisi, Georgia. Volume 2514 of Lecture Notes in Artificial Intelligence, Springer Verlag, 2002, 278-291.©  Springer Verlag.
  Postscript, PDF, Bibtex.
• T. Kutsia. Unification with Sequence Variables and Flexible Arity Symbols and its Extension with Pattern-Terms. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, and V. Sorge, editors, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AISC'2002--Calculemus'2002 Conference, July 1-5, 2002, Marseille, France. Volume 2385 of Lecture Notes in Artificial Intelligence, Springer Verlag, 2002, 290-304. © Springer Verlag.
  Postscript, PDF, Bibtex.

• Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Bruno Buchberger at al., editors, Hagenberg Research. Springer, 2009. 63-101.

• T. Kutsia, M. Marin. Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables. In: A. Bouhoula and T. Ida, editors, Tunisia-Japan Workshop on Symbolic Computation in Software Science (SCSS'09). September 22-24, Gammarth, Tunisia.
• T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expression Sorts. In: Ch. Lynch and P. Narendran, editors, 23th International Workshop on Unification (UNIF'09), August 2, 2009, Montreal, Canada.
  PDF, Bibtex.
• B. Dundua, T. Kutsia, M. Marin, Strategies in PρLog. In: M. Fernández, editor, 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09), June 28, 2009, Brasilia, Brazil.
  PDF, Bibtex.
• M. Marin, T. Kutsia. On the Computation of Quotients and Factors of Regular Languages. In Zhenjiang Hu and Jian Zhang, editors, Sixth Asian Workshop on Foundations of Software (AWFS'09), April 6-8, 2009, Tokyo, Japan.
  PDF, Bibtex.
• T. Kutsia, M. Marin. Solving Regular Constraints for Hedges and Contexts. In: J. Levy, editor, Proceedings of the 20th International Workshop on Unification (UNIF'06), August 11, 2006, Seattle, USA, 89-107.
  Postscript, PDF, Bibtex.
• T. Kutsia, M. Marin. Can Context Sequence Matching be Used for Querying XML? In: L. Vigneron, editor, Proceedings of the 19th International Workshop on Unification (UNIF'05), April 22, 2005, Nara, Japan, 77-92.
  Postscript, PDF, Bibtex. (Revised version)
• T. Kutsia. Context Sequence Matching for XML. In: M. Alpuente, S. Escobar, and M. Falaschi, editors, Proceedings of the 1th International Workshop on Automated Specification and Verification of Web Sites (WWV'05), March 14-15, 2005, Valencia, Spain, 103-119. (Final version in Electronic Notes in Theoretical Computer Science)
  Postscript, PDF, Bibtex.
• M. Marin, T. Kutsia. A Rule-based Approach to the Implementation of Evaluation Strategies. Annals of West University of Timisoara. Volume XLII, Special Issue on Computer Science II, pp. 117-134, 2004.
• M. Marin, T. Kutsia. A Rule-based Approach to the Implementation of Evaluation Strategies. In: D. Petcu, D. Zaharie, V. Negru, and T. Jebelean, editors, Proceedings of the 6th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), September 26-30, 2004, Timisoara, Romania. Mirton Publishing Company, 2004, 227-241.
  Postscript, PDF, Bibtex.
• T. Kutsia, M. Marin. Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract). Proceedings of the 18th International Workshop on Unification (UNIF'04), July 5, 2004, Cork, Ireland.
  Postscript, PDF, Bibtex.
• M. Marin, T. Kutsia. Programming with Transformation Rules. Analele Universitatii de Vest din Timisoara. Seria Matematica-Informatica, Vol. XVI, Fasc. special, 2003.
  Bibtex.
• T. Kutsia. Unification Modulo Flatness. In: D. Petcu, D. Zaharie, V. Negru, and T. Jebelean, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), October 1-4, 2003, Timisoara, Romania. Mirton Publishing Company, 2003, 135-148.
  Bibtex.
• M. Marin, T. Kutsia. Programming with Transformation Rules. In: D. Petcu, D. Zaharie, V. Negru, and T. Jebelean, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), October 1-4, 2003, Timisoara, Romania, Mirton Publishing Company, 2003, 157-167.
  Bibtex.
• M. Marin, T. Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In: B. Konev and R. Schmidt, editors, Proceedings of the 4th International Workshop on the Implementation of Logics, September 26, 2003, Almaty, Kazakhstan, 55-68.
  Postscript, PDF, Bibtex.
• T. Kutsia. Matching in Flat Theories. In: J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification, June 8-9, 2003, Valencia, Spain, 57-64.
  Postscript, PDF, Bibtex.
• T. Kutsia, K. Nakagawa. An Interface between Theorema and External Automated Deduction Systems. In: S. Linton and R. Sebastiani, editors, Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, June 21-23, 2001, 178-182, Siena, Italy.
  Postscript, PDF, Bibtex.
• T. Kutsia. Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols. In: F. Baader, V. Diekert, C. Tinelli, and R. Treinen, editors. Proceedings of 15th International Workshop on Unification, June 18-19, 20-23, 2001, Siena, Italy.
  Bibtex.
• T. Kutsia. A Framework for Some Semantics of Normal Logic Programs (Extended Abstract). Reports of Enlarged Session of the Seminar of the Vekua Institute of Applied Mathematics, 13(4), 1998, Tbilisi University Press.
  Bibtex.
• T. Kutsia. Semantics and Proof Theory of Disjunctive Logic Programs with Implicative Goals. In: R. Cooper and Th. Gamkrelidze, editors. Proceedings of the 2nd International Symposium on Language, Logic and Computation, Tbilisi, September 15-20, 1997, 160-178, Tbilisi University Press, 1997.
  Bibtex.
• T. Kutsia. On Semantics and Proof Theory of Disjunctive Logic Programs with Classical Negation. Applied Mathematics and Informatics, 1(1), 96-110, 1996, Tbilisi University Press.
  Bibtex.
• T. Kutsia. Description of One Variant of Three-Valued Logic Programming. Reports of Seminar of Vekua Institute of Applied Mathematics, no. 22, 53-64, I. Vekua Institute of Applied Mathematics, Tbilisi State University, 1993.
  Bibtex.