Publications

Most of the papers can be downloaded from this page. See also the list of publications in DBLP. Technical reports can be accessed from the RISC electronic library.

Edited Books, Journal Special Issues, Proceedings

  1. A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia. Foreword. Journal of Symbolic Computation. 69:1–2, 2015. Special issue on Symbolic Computation in Software Science. DOI: 10.1016/j.jsc.2014.09.027.
    PDF, BibTeX.
  2. T. Kutsia, A. Voronkov. Symbolic Computation in Software Science. Proceedings of the 6th International Symposium, SCSS 2014. EPiC Series, Volume 30. EasyChair, 2014.
    Link.
  3. L. Kovacs, T. Kutsia. Automated Specification and Verification of Web Systems. Proceedings of the 6th International Workshop, WWV 2010. EPiC Series, Volume 18. EasyChair, 2013.
    Link.
  4. L. Kovacs, T. Kutsia. Symbolic Computation in Software Science. Proceedings of the 5th International Symposium, SCSS 2013. EPiC Series, Volume 15. EasyChair, 2013.
    Link.
  5. L. Kovacs, T. Kutsia. Editorial. Journal of Applied Logic. 10(1):1, 2012. Special issue on Automated Specification and Verification of Web Systems. DOI: 10.1016/j.jal.2011.11.001.
    PDF, BibTeX.
  6. D. Ballis, T. Kutsia. Foreword. Journal of Symbolic Computation. 46(2):93–94, 2011. Special issue on Automated Specification and Verification of Web Systems. DOI: 10.1016/j.jsc.2010.08.003.
    PDF, BibTeX.
  7. M. Fernández, T. Kutsia, W. Schreiner (editors). Principles and Practice of Declarative Programming. Proceedings of the 12th International ACM SIGPLAN Symposium, PPDP 2010, July 26–28, 2010. Hagenberg, Austria. ACM Press, 2010. BibTeX.
  8. T. Kutsia. Symbolic computation in software science: Foreword from the editor. Journal of  Symbolic Computation. 45(5):499–500, 2010. Special issue on Symbolic Computation in Software Science. DOI: 10.1016/j.jsc.2010.01.005.
    PDF, BibTeX.
  9. 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, 2007. © Springer. Link to the publisher's page. BibTeX.

Journal Articles

  1. A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. Information and Computation. 253, part 1. 262--286, 2017. DOI: 10.1016/j.ic.2017.01.005.
    PDF, BibTeX.
  2. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58(2):293–310, 2017. DOI: 10.1007/s10817-016-9383-3.
    PDF, BibTeX.
  3. B. Dundua, M. Florido, T. Kutsia, and M. Marin. CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming. 16(2):141–162, 2016. DOI: 10.1017/S1471068415000071.
    PDF, BibTeX.
  4. B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky, W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Journal of Formalized Reasoning. 9(1): 149–185, 2016. DOI: 10.6092/issn.1972-5787/4568.
    PDF, BibTeX.
  5. T Kutsia, M. Marin. Regular Expression Order-Sorted Unification and Matching. Journal of Symbolic Computation. 67:42–67, 2015. DOI: 10.1016/j.jsc.2014.08.002.
    PDF, BibTeX.
  6. T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52(2): 155–190, 2014. DOI: 10.1007/s10817-013-9285-6.
    PDF, BibTeX.
  7. T. Kutsia, J. Levy, M. Villaret. On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45(1):74–95, 2010. DOI: 10.1016/j.jsc.2009.07.001.
    PDF, BibTeX.
  8. M. Marin, T. Kutsia. On the Computation of Quotients and Factors of Regular Languages. Frontiers of Computer Science in China. 4(2):173–184, 2010. DOI: 10.1007/s11704-010-0154-8.
    PDF, BibTeX.
  9. T. Kutsia. Flat Matching. Journal of Symbolic Computation 43(12):858–873, 2008. DOI: 10.1016/j.jsc.2008.05.001.
    PDF, BibTeX.
  10. T. Kutsia. Solving Equations with Sequence Variables and Sequence Functions. Journal of Symbolic Computation, 42(3):352–388, 2007. DOI: 10.1016/j.jsc.2006.12.002.
    PDF, BibTeX.
  11. 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. Journal of Applied Logic, 4:470–504, 2006. DOI: 10.1016/j.jal.2005.10.006.
    PDF, BibTeX.
  12. M. Marin, T. Kutsia. Foundations of the Rule-Based System RhoLog. Journal of Applied Non-Classical Logics, 16(1–2):151–168, 2006. DOI: 10.3166/jancl.16.151-168.
    PDF, BibTeX.
  13. T. Kutsia. Context Sequence Matching for XML. Electronic Notes on Theoretical Computer Science, 157(2):47–65, 2006. DOI: 10.1016/j.entcs.2005.12.045.
    PDF, BibTeX.
  14. T. Kutsia. Pattern Unification with Sequence Variables and Flexible Arity Symbols. Electronic Notes on Theoretical Computer Science, 66(5):52–69, 2002. DOI: 10.1016/S1571-0661(04)80514-0.
    PDF, BibTeX.

Papers in Proceedings

  1. M. Droste, T. Kutsia, G. Rahonis, W. Schreiner. MK-fuzzy automata and MSO logics. In: P. Bouyer, A. Orlandini, and P. San Pietro, editors. Eighth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2017. Electronic Proceedings in Theoretical Computer Science, 256, pages 106–120
    PDF, BibTeX.
  2. M. Ayala-Rincón, B. Dundua, T. Kutsia, M. Marin. Rewriting Logic from a ρLog Point of View. In: S. Alves and R. Wasserman, editors. Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2017. To appear.
    PDF.
  3. M. Schmidt-Schauß, T. Kutsia, J. Levy, M. Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. In: M. V. Hermenegildo and P. Lopez-Garcia, editors. Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Volume 10184 of Lecture Notes in Computer Science. Springer, 2017. 328–344. © Springer.
    PDF, BibTeX.
  4. B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. An overview of PρLog. In: Y. Lierler and W. Taha, editors. Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017. Volume 10137 of Lecture Notes in Computer Science. Springer, 2017. 34–49. © Springer.
    PDF, BibTeX.
  5. B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: M. Carro, A. King, N. Saeedloei, and M. De Vos, editors. Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Vol. 52 of OpenAccess Series in Informatics (OASIcs). Schloss Dagstuhl, 2016, 10.1–10.5.
    PDF, BibTeX.
  6. D. Cerna, W. Schreiner, T. Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Y. Falcone and C. Sanchez, editors. Proceedings of the 16th International Conference on Runtime Verification, RV 2016. Volume 10012 of Lecture Notes in Computer Science. Springer, 2016. 135–151. © Springer.
    PDF, BibTeX.
  7. B. Konev, T. Kutsia. Anti-Unification of Concepts in Description Logic EL. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016. April 25–29, 2016, Cape Town, South Africa. The AAAI Press, 2016. 227–236.
    PDF, BibTeX.
  8. D. Cerna, W. Schreiner, T. Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: J. H. Davenport and F. Ghourabi, editors. Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016. EPiC Series, Volume 39, EasyChair, 2016. 29–41.
    PDF, BibTeX.
  9. M. Marin, T. Kutsia, B. Dundua. A Rewrite-based Computational Model for Functional Logic Programming. In: J. H. Davenport and F. Ghourabi, editors. Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016. EPiC Series, Volume 39, EasyChair, 2016. 95–106.
    PDF, BibTeX.
  10. B. Dundua, M. Florido, T. Kutsia. Lambda Calculus with Regular Types. In: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015. September 21–24, 2015, Timisoara, Romania. IEEE Computer Society. © IEEE, 2015, 129–136.
    PDF. BibTeX.
  11. I. Kotsireas, T. Kutsia, D. Simos. Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. In: M. Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29–July 3, 2015, Warsaw, Poland. Vol. 36 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2015, 241–256.
    PDF, BibTeX.
  12. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-Unification. In: M. Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29–July 3, 2015, Warsaw, Poland. Vol. 36 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2015, 57–73.
    PDF, BibTeX.
  13. A. Baumgartner, T. Kutsia. A Library of Anti-Unification Algorithms. In: E. Ferme and J. Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. September 24–26, Madeira, Portugal. Volume 8761 of Lecture Notes in Computer Science. Springer, 2014, 543–557. © Springer.
    PDF, BibTeX.
  14. A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. In: U. Kohlenbach, editor, Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014. September 4–6, 2014, Valparaiso, Chile. Volume 8652 of Lecture Notes in Computer Science. Springer, 2014, 66–80. © Springer.
    PDF, BibTeX.
  15. B. Dundua, M. Florido, T. Kutsia, M. Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: M. Codish and E. Sumii, editors, Proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014. June 4–6, 2014, Kanazawa, Japan. Volume 8475 of Lecture Notes in Computer Science. Springer, 2014, 285–301. © Springer.
    PDF, BibTeX.
  16. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. A Variant of Higher-Order Anti-Unification. In: F. van Raamsdonk, editor, Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013. June 24–26, 2013, Eindhoven, The Netherlands. Vol. 21 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2013, 113–127.
    PDF, BibTeX.
  17. T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. September 26–29, 2012, Timisoara, Romania. IEEE Computer Society. © IEEE, 2013, 119–126.
    PDF, BibTeX.
  18. T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. In: M. Schmidt-Schauss, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. May 30–June 1, 2011, Novi Sad, Serbia. Vol. 10 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2011, 219–234.
    PDF, BibTeX.
  19. J. Coelho, B. Dundua, M. Florido, T. Kutsia. A Rule-Based Approach to XML Processing and Web Reasoning. In: P. Hitzler and T. Lukasiewicz, editors, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010. September 22–24, 2010, Bressanone/Brixen, Italy. Volume 6333 of Lecture Notes in Computer Science. Springer, 2010, 164–172. © Springer.
    PDF, BibTeX.
  20. M. Marin, T. Kutsia. Regular Hedge Language Factorization Revisited. In: Sheng Yu, editor, Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010. August 17–19, 2010, London, Ontario, Canada. Volume 6224 of Lecture Notes in Computer Science. Springer, 2010, 328–339. © Springer.
    PDF, BibTeX.
  21. T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expression Sorts. In: Ch. Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010. July 11–13, 2010, Edinburgh, UK. Volume 6 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2010, 193–208.
    PDF, BibTeX.
  22. 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, 2010, 104–112. © Springer.
    PDF, BibTeX.
  23. 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 2009. June 28, 2009, Brasilia, Brazil. Electronic Proceedings in Theoretical Computer Science 15, 2010, 32–43.
    PDF, BibTeX.
  24. 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 2009. August 10–12, 2009, Las-Vegas, USA. 290–295. © IEEE.
    PDF, BibTeX.
  25. 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, 2007, 91–102. © Springer.
    PDF, BibTeX.
  26. 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 2007. June 26–28, 2007, Paris, France. Volume 4533 of the Lecture Notes in Computer Science. Springer, 2007, 288–302. © Springer.
    PDF, BibTeX.
  27. 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 2005. December 2–6, 2005, Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 215–229. © Springer.
    PDF, BibTeX.
  28. 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 2005. December 2–6, 2005. Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 261–275. © Springer.
    PDF, BibTeX.
  29. 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 2004. September 22–24, 2004, Hagenberg, Austria. Volume 3249 of Lecture Notes in Artificial Intelligence. Springer, 2004, 157–170. © Springer.
    PDF, BibTeX. (Revised version)
  30. 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 2004. September 19–21, 2004, Bialowieza, Poland. Volume 3119 of Lecture Notes in Computer Science. Springer, 2004, 205–219. © Springer.
    PDF, BibTeX.
  31. T. Kutsia. Equational Prover of Theorema. In: R. Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003. June 9–11, 2003, Valencia, Spain. Volume 2706 of Lecture Notes in Computer Science. Springer, 2003, 367–379. © Springer.
    PDF, BibTeX.
  32. 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 2002. October 14–18, 2002, Tbilisi, Georgia. Volume 2514 of Lecture Notes in Artificial Intelligence. Springer, 2002, 278–291. © Springer.
    PDF, BibTeX.
  33. 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-Calculemus 2002 Conference. July 1–5, 2002, Marseille, France. Volume 2385 of Lecture Notes in Artificial Intelligence. Springer, 2002, 290–304. © Springer.
    PDF, BibTeX.

Book Chapter

  1. 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.
    PDF from the publisher's site, BibTeX.

Miscellaneous

  1. T. Kutsia, N. Amiridze. Word Search Sequences in Scientific Discussions: Giving Talks in Georgian. 14th International Pragmatics Conference, Antwerp, Belgium, 26–31 July 2015.
    Abstract, slides.
  2. W Schreiner, T Kutsia, M Krieger, B Ahmad, H Otto, M Rummerstorfer. Securing Device Communication by Predicate Logic Specifications. In: Matthias Sturm, editor, Embedded World Conference 2015. February 24–26 2015, Nuremberg, Germany.
    PDF, BibTeX.
  3. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-unification. In: T. Kutsia and Ch. Ringeissen, editors. 28th International Workshop on Unification, UNIF 2014. July 13, 2014, Vienna, Austria. 62–69.
    PDF, BibTeX.
  4. A. Baumgartner, T. Kutsia. Unranked Anti-Unification with Hedge and Context Variables. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, 2013, Eindhoven, The Netherlands.
    BibTeX.
  5. T. Kutsia. Anti-Unification: Algorithms and Applications. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, Eindhoven, The Netherlands.
    BibTeX.
  6. S. Alves, B. Dundua, M. Florido, T. Kutsia. A Confluent Pattern Calculus with Hedge Variables. In: N. Hirokawa and V. van Oostrom, editors, 2nd International Workshop on Confluence, IWC 2013. June 28, Eindhoven, The Netherlands. 41–45.
    BibTeX.
  7. 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 2009. September 22–24, Gammarth, Tunisia.
    PDF, BibTeX.
  8. T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expression Sorts. In: Ch. Lynch and P. Narendran, editors, 23th International Workshop on Unification, UNIF 2009. August 2, 2009, Montreal, Canada.
    PDF, BibTeX.
  9. 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 2009. April 6–8, 2009, Tokyo, Japan.
    PDF, BibTeX.
  10. T. Kutsia, M. Marin. Solving Regular Constraints for Hedges and Contexts. In: J. Levy, editor, Proceedings of the 20th International Workshop on Unification, UNIF 2006. August 11, 2006, Seattle, USA, 89–107.
    PDF, BibTeX.
  11. 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 2005. April 22, 2005, Nara, Japan, 77–92.
    PDF, BibTeX. (Revised version)
  12. 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, 2004, 117–134.
    BibTeX.
  13. 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 2004. July 5, 2004, Cork, Ireland.
    PDF, BibTeX.
  14. 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 2003. October 1–4, 2003, Timisoara, Romania. Mirton Publishing Company, 2003, 135–148.
    BibTeX.
  15. 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, WIL 2003. September 26, 2003, Almaty, Kazakhstan. 55–68.
    PDF, BibTeX.
  16. M. Marin, T. Kutsia. Programming with Transformation Rules. Analele Universitatii de Vest din Timisoara. Seria Matematica-Informatica, Vol. XVI, Fasc. special, 2003, 163–175.
    BibTeX.
  17. 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, UNIF 2003. June 8–9, 2003, Valencia, Spain. 57–64.
    PDF, BibTeX.
  18. 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, Calculemus 2001. June 21–23, 2001, Siena, Italy, 178–182.
    PDF, BibTeX.
  19. 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, UNIF 2001. June 18–19, 2001, Siena, Italy.
    BibTeX.
  20. T. Kutsia. A Framework for Some Semantics of Normal Logic Programs (Extended Abstract). Reports of Enlarged Sessions of the Seminar of the Ilia Vekua Institute of Applied Mathematics, 13(4), 1998, Tbilisi University Press.
    BibTeX.
  21. 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, LLC 1997. September 15–20, 1997, Tbilisi, Georgia. Tbilisi University Press, 1997, 160–178.
    BibTeX.
  22. 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.
  23. T. Kutsia. Description of One Variant of Three-Valued Logic Programming. Reports of the Seminar of the Ilia Vekua Institute of Applied Mathematics, no. 22, 53–64, 1993, Tbilisi State University.
    Bibtex.