@inproceedings{Kutsia05,
  title = {Context Sequence Matching for XML},
  author = {Temur Kutsia},
  year = {2005},
  tags = {XML, XML Schema, context-aware},
  researchr = {https://researchr.org/publication/Kutsia05},
  cites = {0},
  citedby = {0},
  pages = {103-119},
  booktitle = {First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain},
  editor = {María Alpuente and Santiago Escobar and Moreno Falaschi},
  volume = {DSIC-II/03/05},
  publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia},
}

@inproceedings{CoelhoDFK10,
  title = {A Rule-Based Approach to XML Processing and Web Reasoning},
  author = {Jorge Coelho and Besik Dundua and Mário Florido and Temur Kutsia},
  year = {2010},
  doi = {10.1007/978-3-642-15918-3_13},
  url = {http://dx.doi.org/10.1007/978-3-642-15918-3_13},
  tags = {rule-based, XML, XML Schema, rules, systematic-approach},
  researchr = {https://researchr.org/publication/CoelhoDFK10},
  cites = {0},
  citedby = {0},
  pages = {164-172},
  booktitle = {Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings},
  editor = {Pascal Hitzler and Thomas Lukasiewicz},
  volume = {6333},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15917-6},
}

@article{MarinK06,
  title = {Foundations of the rule-based system rLog},
  author = {Mircea Marin and Temur Kutsia},
  year = {2006},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/MarinK06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Applied Non-Classical Logics},
  volume = {16},
  number = {1-2},
  pages = {151-168},
}

@article{Kutsia02:1,
  title = {Pattern Unification with Sequence Variables, Flexible Arity Symbols},
  author = {Temur Kutsia},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/120/52/show/Products/notes/index.htt#005},
  researchr = {https://researchr.org/publication/Kutsia02%3A1},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {66},
  number = {5},
  pages = {52-69},
}

@inproceedings{KutsiaLV07,
  title = {Sequence Unification Through Currying},
  author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
  year = {2007},
  doi = {10.1007/978-3-540-73449-9_22},
  url = {http://dx.doi.org/10.1007/978-3-540-73449-9_22},
  researchr = {https://researchr.org/publication/KutsiaLV07},
  cites = {0},
  citedby = {0},
  pages = {288-302},
  booktitle = {Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings},
  editor = {Franz Baader},
  volume = {4533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73447-5},
}

@inproceedings{KutsiaM10,
  title = {Order-Sorted Unification with Regular Expression Sorts},
  author = {Temur Kutsia and Mircea Marin},
  year = {2010},
  doi = {10.4230/LIPIcs.RTA.2010.193},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2010.193},
  researchr = {https://researchr.org/publication/KutsiaM10},
  cites = {0},
  citedby = {0},
  pages = {193-208},
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK},
  editor = {Christopher Lynch},
  volume = {6},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-18-7},
}

@inproceedings{Kutsia02,
  title = {Theorem Proving with Sequence Variables and Flexible Arity Symbols},
  author = {Temur Kutsia},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm},
  researchr = {https://researchr.org/publication/Kutsia02},
  cites = {0},
  citedby = {0},
  pages = {278-291},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings},
  editor = {Matthias Baaz and Andrei Voronkov},
  volume = {2514},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00010-0},
}

@inproceedings{Kutsia04,
  title = {Solving Equations Involving Sequence Variables and Sequence Functions},
  author = {Temur Kutsia},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3249&spage=157},
  researchr = {https://researchr.org/publication/Kutsia04},
  cites = {0},
  citedby = {0},
  pages = {157-170},
  booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings},
  editor = {Bruno Buchberger and John A. Campbell},
  volume = {3249},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23212-5},
}

@inproceedings{MarinK10,
  title = {Regular Hedge Language Factorization Revisited},
  author = {Mircea Marin and Temur Kutsia},
  year = {2010},
  doi = {10.1007/978-3-642-14455-4_30},
  url = {http://dx.doi.org/10.1007/978-3-642-14455-4_30},
  researchr = {https://researchr.org/publication/MarinK10},
  cites = {0},
  citedby = {0},
  pages = {328-339},
  booktitle = {Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings},
  editor = {Yuan Gao and Hanlin Lu and Shinnosuke Seki and Sheng Yu},
  volume = {6224},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14454-7},
}

@article{MarinK10-0,
  title = {On the computation of quotients and factors of regular languages},
  author = {Mircea Marin and Temur Kutsia},
  year = {2010},
  doi = {10.1007/s11704-010-0154-8},
  url = {http://dx.doi.org/10.1007/s11704-010-0154-8},
  researchr = {https://researchr.org/publication/MarinK10-0},
  cites = {0},
  citedby = {0},
  journal = {Frontiers of Computer Science in China},
  volume = {4},
  number = {2},
  pages = {173-184},
}

@inproceedings{MarinK09,
  title = {Linear Systems for Regular Hedge Languages},
  author = {Mircea Marin and Temur Kutsia},
  year = {2009},
  doi = {10.1007/978-3-642-12082-4_14},
  url = {http://dx.doi.org/10.1007/978-3-642-12082-4_14},
  researchr = {https://researchr.org/publication/MarinK09},
  cites = {0},
  citedby = {0},
  pages = {104-112},
  booktitle = {Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers},
  editor = {Janis Grundspenkis and Marite Kirikova and Yannis Manolopoulos and Leonids Novickis},
  volume = {5968},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12081-7},
}

@inproceedings{Kutsia03,
  title = {Equational Prover of THEOREMA},
  author = {Temur Kutsia},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2706/27060367.htm},
  researchr = {https://researchr.org/publication/Kutsia03},
  cites = {0},
  citedby = {0},
  pages = {367-379},
  booktitle = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  editor = {Robert Nieuwenhuis},
  volume = {2706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40254-3},
}

@inproceedings{CoelhoFK09,
  title = {Collaborative Schema Construction using Regular Sequence Types},
  author = {Jorge Coelho and Mário Florido and Temur Kutsia},
  year = {2009},
  doi = {10.1109/IRI.2009.5211567},
  url = {http://dx.doi.org/10.1109/IRI.2009.5211567},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/CoelhoFK09},
  cites = {0},
  citedby = {0},
  pages = {290-295},
  booktitle = {Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2009, 10-12 August 2009, Las Vegas, Nevada, USA},
  publisher = {IEEE Systems, Man, and Cybernetics Society},
}

@article{KutsiaLV10,
  title = {On the relation between Context and Sequence Unification},
  author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
  year = {2010},
  doi = {10.1016/j.jsc.2009.07.001},
  url = {http://dx.doi.org/10.1016/j.jsc.2009.07.001},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/KutsiaLV10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {45},
  number = {1},
  pages = {74-95},
}

@inproceedings{KutsiaM05,
  title = {Matching with Regular Constraints},
  author = {Temur Kutsia and Mircea Marin},
  year = {2005},
  doi = {10.1007/11591191_16},
  url = {http://dx.doi.org/10.1007/11591191_16},
  tags = {constraints},
  researchr = {https://researchr.org/publication/KutsiaM05},
  cites = {0},
  citedby = {0},
  pages = {215-229},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings},
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  volume = {3835},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30553-X},
}

@inproceedings{Kutsia02:0,
  title = {Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms},
  author = {Temur Kutsia},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2385/23850290.htm},
  researchr = {https://researchr.org/publication/Kutsia02%3A0},
  cites = {0},
  citedby = {0},
  pages = {290-304},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings},
  editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
  volume = {2385},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43865-3},
}

@inproceedings{KutsiaB04,
  title = {Predicate Logic with Sequence Variables and Sequence Function Symbols},
  author = {Temur Kutsia and Bruno Buchberger},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3119&spage=205},
  tags = {logic},
  researchr = {https://researchr.org/publication/KutsiaB04},
  cites = {0},
  citedby = {0},
  pages = {205-219},
  booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  editor = {Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec},
  volume = {3119},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23029-7},
}

@article{Kutsia07,
  title = {Solving equations with sequence variables and sequence functions},
  author = {Temur Kutsia},
  year = {2007},
  doi = {10.1016/j.jsc.2006.12.002},
  url = {http://dx.doi.org/10.1016/j.jsc.2006.12.002},
  researchr = {https://researchr.org/publication/Kutsia07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {42},
  number = {3},
  pages = {352-388},
}

@article{Kutsia10,
  title = {Symbolic computation in software science: Foreword from the editor},
  author = {Temur Kutsia},
  year = {2010},
  doi = {10.1016/j.jsc.2010.01.005},
  url = {http://dx.doi.org/10.1016/j.jsc.2010.01.005},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Kutsia10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {45},
  number = {5},
  pages = {499-500},
}

@article{Kutsia08,
  title = {Flat matching},
  author = {Temur Kutsia},
  year = {2008},
  doi = {10.1016/j.jsc.2008.05.001},
  url = {http://dx.doi.org/10.1016/j.jsc.2008.05.001},
  researchr = {https://researchr.org/publication/Kutsia08},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {43},
  number = {12},
  pages = {858-873},
}

@inproceedings{KutsiaLV11,
  title = {Anti-Unification for Unranked Terms and Hedges},
  author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
  year = {2011},
  doi = {10.4230/LIPIcs.RTA.2011.219},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.219},
  researchr = {https://researchr.org/publication/KutsiaLV11},
  cites = {0},
  citedby = {0},
  pages = {219-234},
  booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  editor = {Manfred Schmidt-Schauß},
  volume = {10},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-30-9},
}

@article{Kutsia06,
  title = {Context Sequence Matching for XML},
  author = {Temur Kutsia},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.045},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.045},
  tags = {XML, XML Schema, context-aware},
  researchr = {https://researchr.org/publication/Kutsia06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {157},
  number = {2},
  pages = {47-65},
}

@article{BallisK11,
  title = {Foreword},
  author = {Demis Ballis and Temur Kutsia},
  year = {2011},
  doi = {10.1016/j.jsc.2010.08.003},
  url = {http://dx.doi.org/10.1016/j.jsc.2010.08.003},
  researchr = {https://researchr.org/publication/BallisK11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {46},
  number = {2},
  pages = {93-94},
}

@inproceedings{CoelhoFK07,
  title = {Sequence Disunification and Its Application in Collaborative Schema Construction},
  author = {Jorge Coelho and Mário Florido and Temur Kutsia},
  year = {2007},
  doi = {10.1007/978-3-540-77010-7_10},
  url = {http://dx.doi.org/10.1007/978-3-540-77010-7_10},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/CoelhoFK07},
  cites = {0},
  citedby = {0},
  pages = {91-102},
  booktitle = {Web Information Systems Engineering - WISE 2007 Workshops, WISE 2007 International Workshops, Nancy, France, December 3, 2007, Proceedings},
  editor = {Mathias Weske and Mohand-Said Hacid and Claude Godart},
  volume = {4832},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77009-1},
}

@article{BuchbergerCJKKNPPRR06,
  title = {Theorema: Towards computer-aided mathematical theory exploration},
  author = {Bruno Buchberger and Adrian Craciun and Tudor Jebelean and Laura Kovács and Temur Kutsia and Koji Nakagawa and Florina Piroi and Nikolaj Popov and Judit Robu and Markus Rosenkranz},
  year = {2006},
  doi = {10.1016/j.jal.2005.10.006},
  url = {http://dx.doi.org/10.1016/j.jal.2005.10.006},
  researchr = {https://researchr.org/publication/BuchbergerCJKKNPPRR06},
  cites = {0},
  citedby = {0},
  journal = {J. Applied Logic},
  volume = {4},
  number = {4},
  pages = {470-504},
}

@inproceedings{PiroiK05,
  title = {The Theorema Environment for Interactive Proof Development},
  author = {Florina Piroi and Temur Kutsia},
  year = {2005},
  doi = {10.1007/11591191_19},
  url = {http://dx.doi.org/10.1007/11591191_19},
  tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PiroiK05},
  cites = {0},
  citedby = {0},
  pages = {261-275},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings},
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  volume = {3835},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30553-X},
}
@proceedings{ppdp-2010,
  title = {Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria},
  year = {2010},
  tags = {principles, programming},
  researchr = {https://researchr.org/publication/ppdp-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria},
  conference = {ppdp},
  editor = {Temur Kutsia and Wolfgang Schreiner and Maribel Fernández},
  publisher = {ACM},
  isbn = {978-1-4503-0132-9},
}

@proceedings{ab:2007,
  title = {Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  year = {2007},
  tags = { algebra},
  researchr = {https://researchr.org/publication/ab%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  editor = {Hirokazu Anai and Katsuhisa Horimoto and Temur Kutsia},
  volume = {4545},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73432-1},
}