Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. - Temur Kutsia (AISC, 2002)

Theorem Proving with Sequence Variables and Flexible Arity Symbols. - Temur Kutsia (LPAR, 2002)

Pattern Unification with Sequence Variables, Flexible Arity Symbols. - Temur Kutsia (UNCL@ICALP, 2002)

Equational Prover of THEOREMA. - Temur Kutsia (RTA, 2003)

Solving Equations Involving Sequence Variables and Sequence Functions. - Temur Kutsia (AISC, 2004)

Predicate Logic with Sequence Variables and Sequence Function Symbols. - Temur Kutsia; Bruno Buchberger (MKM, 2004)

Matching with Regular Constraints. - Temur Kutsia; Mircea Marin (LPAR, 2005)

The Theorema Environment for Interactive Proof Development. - Florina Piroi; Temur Kutsia (LPAR, 2005)

Context Sequence Matching for XML. - Temur Kutsia (WWV, 2005)

Foundations of the rule-based system rLog. - Mircea Marin; Temur Kutsia (J. Appl. Non Class. Logics, 2006)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

Sequence Unification Through Currying. - Temur Kutsia; Jordi Levy; Mateu Villaret (RTA, 2007)

Sequence Disunification and Its Application in Collaborative Schema Construction. - Jorge Coelho 001; Mário Florido; Temur Kutsia (WISE Workshops, 2007)

Solving equations with sequence variables and sequence functions. - Temur Kutsia (J. Symb. Comput., 2007)

Matching with Membership Constraints for Hedge and Context Variables. - Mircea Marin; Temur Kutsia (UNIF, 2008)

Flat matching. - Temur Kutsia (J. Symb. Comput., 2008)

Automated Reasoning. - Tudor Jebelean; Bruno Buchberger; Temur Kutsia; Nikolaj Popov; Wolfgang Schreiner; Wolfgang Windsteiger (Hagenberg Research, 2009)

Linear Systems for Regular Hedge Languages. - Mircea Marin; Temur Kutsia (ADBIS (Workshops), 2009)

Collaborative Schema Construction using Regular Sequence Types. - Jorge Coelho 001; Mário Florido; Temur Kutsia (IRI, 2009)

Strategies in PRholog - Besik Dundua; Temur Kutsia; Mircea Marin (WRS, 2009)

Regular Hedge Language Factorization Revisited. - Mircea Marin; Temur Kutsia (Developments in Language Theory, 2010)

A Rule-Based Approach to XML Processing and Web Reasoning. - Jorge Coelho 001; Besik Dundua; Mário Florido; Temur Kutsia (RR, 2010)

Order-Sorted Unification with Regular Expression Sorts. - Temur Kutsia; Mircea Marin (RTA, 2010)

On the computation of quotients and factors of regular languages. - Mircea Marin; Temur Kutsia (Frontiers Comput. Sci. China, 2010)

Symbolic computation in software science: Foreword from the editor. - Temur Kutsia (J. Symb. Comput., 2010)

On the relation between Context and Sequence Unification. - Temur Kutsia; Jordi Levy; Mateu Villaret (J. Symb. Comput., 2010)

Foreword. - Demis Ballis; Temur Kutsia (J. Symb. Comput., 2011)

Solving, Reasoning, and Programming in Common Logic. - Temur Kutsia; Mircea Marin (SYNASC, 2012)

Special issue on Automated Specification and Verification of Web Systems. - Laura Kovács; Temur Kutsia (J. Appl. Log., 2012)

Unranked Anti-Unification with Hedge and Context Variables. - Alexander Baumgartner; Temur Kutsia (UNIF@RTA/TLCA, 2013)

A Variant of Higher-Order Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (RTA, 2013)

Anti-Unification: Algorithms and Applications. - Temur Kutsia (UNIF@RTA/TLCA, 2013)

Constraint Logic Programming for Hedges: A Semantic Reconstruction. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (FLOPS, 2014)

A Library of Anti-unification Algorithms. - Alexander Baumgartner; Temur Kutsia (JELIA, 2014)

Nominal Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (UNIF, 2014)

Anti-unification for Unranked Terms and Hedges. - Temur Kutsia; Jordi Levy; Mateu Villaret (J. Autom. Reason., 2014)

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. - Ilias S. Kotsireas; Temur Kutsia; Dimitris E. Simos (RTA, 2015)

Lambda Calculus with Regular Types. - Besik Dundua; Mário Florido; Temur Kutsia (SYNASC, 2015)

CLP(H): Constraint Logic Programming for Hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (CoRR, 2015)

Special issue on symbolic computation in software science. - Adel Bouhoula; Bruno Buchberger; Laura Kovács; Temur Kutsia (J. Symb. Comput., 2015)

Regular expression order-sorted unification and matching. - Temur Kutsia; Mircea Marin (J. Symb. Comput., 2015)

P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. - Besik Dundua; Temur Kutsia; Klaus Reisenberger-Hagmayer (ICLP (Technical Communications), 2016)

Anti-Unification of Concepts in Description Logic EL. - Boris Konev; Temur Kutsia (KR, 2016)

Nominal Unification of Higher Order Expressions with Recursive Let. - Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret (LOPSTR, 2016)

Predicting Space Requirements for a Stream Monitor Specification Language. - David M. Cerna; Wolfgang Schreiner; Temur Kutsia (RV, 2016)

Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. - David M. Cerna; Wolfgang Schreiner; Temur Kutsia (SCSS, 2016)

A rewrite-based computational model for functional logic programming. - Mircea Marin; Temur Kutsia; Besik Dundua (SCSS, 2016)

Theorema 2.0: Computer-Assisted Natural-Style Mathematics. - Bruno Buchberger; Tudor Jebelean; Temur Kutsia; Alexander Maletzky; Wolfgang Windsteiger (J. Formaliz. Reason., 2016)

CLP(H): Constraint logic programming for hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (Theory Pract. Log. Program., 2016)

An Overview of PρLog. - Besik Dundua; Temur Kutsia; Klaus Reisenberger-Hagmayer (PADL, 2017)

MK-fuzzy Automata and MSO Logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (GandALF, 2017)

Unranked second-order anti-unification. - Alexander Baumgartner; Temur Kutsia (Inf. Comput., 2017)

Higher-Order Pattern Anti-Unification in Linear Time. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (J. Autom. Reason., 2017)

Term-Graph Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (FSCD, 2018)

Higher-Order Equational Pattern Anti-Unification. - David M. Cerna; Temur Kutsia (FSCD, 2018)

Higher-Order Equational Pattern Anti-Unification [Preprint]. - David M. Cerna; Temur Kutsia (CoRR, 2018)

Pattern-based calculi with finitary matching. - Sandra Alves; Besik Dundua; Mário Florido; Temur Kutsia (Log. J. IGPL, 2018)

Solving Proximity Constraints. - Temur Kutsia; Cleo Pau (LOPSTR, 2019)

Variadic Equational Matching. - Besik Dundua; Temur Kutsia; Mircea Marin (CICM, 2019)

A Generic Framework for Higher-Order Generalizations. - David M. Cerna; Temur Kutsia (FSCD, 2019)

A Rule-based Approach to the Decidability of Safety of ABACα. - Mircea Marin; Temur Kutsia; Besik Dundua (SACMAT, 2019)

Unranked Nominal Unification. - Besik Dundua; Temur Kutsia; Mikheil Rukhaia (TbiLLC, 2019)

Matching and Generalization Modulo Proximity and Tolerance Relations. - Temur Kutsia; Cleo Pau (TbiLLC, 2019)

Symbolic computation in software science. - James Harold Davenport; Temur Kutsia (J. Symb. Comput., 2019)

Unital Anti-Unification: Type and Algorithms. - David M. Cerna; Temur Kutsia (FSCD, 2020)

Constraint Solving over Multiple Similarity Relations. - Besik Dundua; Temur Kutsia; Mircea Marin; Ioana-Cleopatra Pau (FSCD, 2020)

Proximity-Based Unification with Arity Mismatch. - Temur Kutsia; Cleo Pau (UNIF, 2020)

A Rule-Based System for Computation and Deduction in Mathematica. - Mircea Marin; Besik Dundua; Temur Kutsia (WRLA@ETAPS, 2020)

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. - Ilias S. Kotsireas; Temur Kutsia; Dimitris E. Simos (Ann. Math. Artif. Intell., 2020)

McCarthy-Kleene fuzzy automata and MSO logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (Inf. Comput., 2020)

Higher-order pattern generalization modulo equational theories. - David M. Cerna; Temur Kutsia (Math. Struct. Comput. Sci., 2020)

Idempotent Anti-unification. - David M. Cerna; Temur Kutsia (ACM Trans. Comput. Log., 2020)

Proximity-Based Unification and Matching for Fully Fuzzy Signatures. - Cleo Pau; Temur Kutsia (FUZZ-IEEE, 2021)

Variadic equational matching in associative and commutative theories. - Besik Dundua; Temur Kutsia; Mircea Marin (J. Symb. Comput., 2021)

A Framework for Approximate Generalization in Quantitative Theories. - Temur Kutsia; Cleo Pau (IJCAR, 2022)

Preface. - Temur Kutsia; Andrew M. Marshall (Ann. Math. Artif. Intell., 2022)

Nominal Unification and Matching of Higher Order Expressions with Recursive Let. - Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret; Yunus D. K. Kutz (Fundam. Informaticae, 2022)

Anti-unification and Generalization: A Survey. - David M. Cerna; Temur Kutsia (IJCAI, 2023)

Nominal AC-Matching. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (CICM, 2023)

Enumerating All Maximal Clique-Partitions of an Undirected Graph. - Mircea Marin; Temur Kutsia; Cleo Pau; Mikheil Rukhaia (FROM, 2023)

Preface. - Adel Bouhoula; Bruno Buchberger; Tetsuo Ida; Temur Kutsia (Ann. Math. Artif. Intell., 2023)

Correction to: Preface. - Adel Bouhoula; Bruno Buchberger; Tetsuo Ida; Temur Kutsia (Ann. Math. Artif. Intell., 2023)

Equational Anti-unification over Absorption Theories. - Mauricio Ayala-Rincón; David M. Cerna; Andres Felipe Gonzalez Barragan; Temur Kutsia (IJCAR (2), 2024)

Solving Quantitative Equations. - Georg Ehling; Temur Kutsia (IJCAR (2), 2024)

Certified First-Order AC-Unification and Applications. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (J. Autom. Reason., 2024)

Combining Generalization Algorithms in Regular Collapse-Free Theories. - Mauricio Ayala-Rincón; David M. Cerna; Temur Kutsia; Christophe Ringeissen (FSCD, 2025)

Verification of an Anti-unification Algorithm in PVS. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Maria Júlia Dias Lima; Mariano M. Moscato; Temur Kutsia (NFM, 2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories. - Daniele Nantes-Sobrinho; Manfred Schmidt-Schauß; Alexander Baumgartner; Temur Kutsia (CoRR, 2025)

Correction to: Certified First-Order AC-Unification and Applications. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (J. Autom. Reason., 2025)

Higher-Order Pattern Unification Modulo Similarity Relations. - Besik Dundua; Temur Kutsia (CoRR, 2025)

Graded Quantitative Narrowing. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Georg Ehling; Temur Kutsia (CoRR, 2025)