@inproceedings{KirchnerRRT05,
  title = {On Superposition-Based Satisfiability Procedures and Their Combination},
  author = {Hélène Kirchner and Silvio Ranise and Christophe Ringeissen and Duc-Khanh Tran},
  year = {2005},
  doi = {10.1007/11560647_39},
  url = {http://dx.doi.org/10.1007/11560647_39},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/KirchnerRRT05},
  cites = {0},
  citedby = {0},
  pages = {594-608},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  editor = {Dang Van Hung and Martin Wirsing},
  volume = {3722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29107-5},
}

@inproceedings{MoreauRV03,
  title = {A Pattern Matching Compiler for Multiple Target Languages},
  author = {Pierre-Etienne Moreau and Christophe Ringeissen and Marian Vittek},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2622/26220061.htm},
  tags = {pattern language, pattern matching, compiler},
  researchr = {https://researchr.org/publication/MoreauRV03},
  cites = {0},
  citedby = {0},
  pages = {61-76},
  booktitle = {Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Görel Hedin},
  volume = {2622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00904-3},
}

@inproceedings{RaniseRT07,
  title = {Combining Proof-Producing Decision Procedures},
  author = {Silvio Ranise and Christophe Ringeissen and Duc-Khanh Tran},
  year = {2007},
  doi = {10.1007/978-3-540-74621-8_16},
  url = {http://dx.doi.org/10.1007/978-3-540-74621-8_16},
  researchr = {https://researchr.org/publication/RaniseRT07},
  cites = {0},
  citedby = {0},
  pages = {237-251},
  booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings},
  editor = {Boris Konev and Frank Wolter},
  volume = {4720},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74620-1},
}

@inproceedings{KirchnerR94,
  title = {Constraint Solving by Narrowing in Combined Algebraic Domains},
  author = {Hélène Kirchner and Christophe Ringeissen},
  year = {1994},
  tags = {constraints,  algebra},
  researchr = {https://researchr.org/publication/KirchnerR94},
  cites = {0},
  citedby = {0},
  pages = {617-631},
  booktitle = {ICLP},
}

@inproceedings{Ringeissen01,
  title = {Matching with Free Function Symbols - A Simple Extension of Matching?},
  author = {Christophe Ringeissen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2051/20510276.htm},
  researchr = {https://researchr.org/publication/Ringeissen01},
  cites = {0},
  citedby = {0},
  pages = {276-290},
  booktitle = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
  editor = {Aart Middeldorp},
  volume = {2051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42117-3},
}

@article{KirchnerR98,
  title = {Rule-Based Constraint Programming},
  author = {Claude Kirchner and Christophe Ringeissen},
  year = {1998},
  tags = {rule-based, constraints, rules, programming},
  researchr = {https://researchr.org/publication/KirchnerR98},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {34},
  number = {3},
  pages = {225-262},
}

@inproceedings{DomenjoudKR94,
  title = {Combination Techniques for Non-Disjoint Equational Theories},
  author = {Eric Domenjoud and Francis Klay and Christophe Ringeissen},
  year = {1994},
  researchr = {https://researchr.org/publication/DomenjoudKR94},
  cites = {0},
  citedby = {0},
  pages = {267-281},
  booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  editor = {Alan Bundy},
  volume = {814},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58156-1},
}

@article{BorovanskyKKR01,
  title = {Rewriting with Strategies in ELAN: A Functional Semantics},
  author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Christophe Ringeissen},
  year = {2001},
  tags = {semantics, graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/BorovanskyKKR01},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {12},
  number = {1},
  pages = {69-95},
}

@article{MoreiraRDL04,
  title = {Manipulating algebraic specifications with term-based and graph-based representations},
  author = {Anamaria Martins Moreira and Christophe Ringeissen and David Déharbe and Gleydson Lima},
  year = {2004},
  doi = {10.1016/j.jlap.2003.12.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2003.12.001},
  tags = {rule-based, term rewriting, graph-rewriting, algebraic specification,  algebra, rewriting},
  researchr = {https://researchr.org/publication/MoreiraRDL04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {59},
  number = {1-2},
  pages = {63-87},
}

@inproceedings{MonfroyR98,
  title = {SoleX: A Domain-Independent Scheme for Constraint Solver Extension},
  author = {Eric Monfroy and Christophe Ringeissen},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1476/14760222.htm},
  tags = {constraints},
  researchr = {https://researchr.org/publication/MonfroyR98},
  cites = {0},
  citedby = {0},
  pages = {222-233},
  booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
  editor = {Jacques Calmet and Jan A. Plaza},
  volume = {1476},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64960-3},
}

@article{MonfroyR99,
  title = {An Open Automated Framework for Constraint Solver Extension: the SoleX Approach},
  author = {Eric Monfroy and Christophe Ringeissen},
  year = {1999},
  tags = {constraints, source-to-source, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/MonfroyR99},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {39},
  number = {1-2},
  pages = {167-187},
}

@inproceedings{Ringeissen94,
  title = {Combination of Matching Algorithms},
  author = {Christophe Ringeissen},
  year = {1994},
  researchr = {https://researchr.org/publication/Ringeissen94},
  cites = {0},
  citedby = {0},
  pages = {187-198},
  booktitle = {STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings},
  editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner},
  volume = {775},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57785-8},
}

@inproceedings{NicoliniRR09,
  title = {Satisfiability Procedures for Combination of Theories Sharing Integer Offsets},
  author = {Enrica Nicolini and Christophe Ringeissen and Michaël Rusinowitch},
  year = {2009},
  doi = {10.1007/978-3-642-00768-2_35},
  url = {http://dx.doi.org/10.1007/978-3-642-00768-2_35},
  researchr = {https://researchr.org/publication/NicoliniRR09},
  cites = {0},
  citedby = {0},
  pages = {428-442},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Stefan Kowalewski and Anna Philippou},
  volume = {5505},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00767-5},
}

@inproceedings{DeharbeMR02,
  title = {Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae},
  author = {David Déharbe and Anamaria Martins Moreira and Christophe Ringeissen},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2378/23780207.htm},
  tags = {model checking, meta-model, graph-rewriting, logic, Meta-Environment, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/DeharbeMR02},
  cites = {0},
  citedby = {0},
  pages = {207-221},
  booktitle = {Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  editor = {Sophie Tison},
  volume = {2378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43916-1},
}

@inproceedings{KirchnerR92,
  title = {A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms},
  author = {Hélène Kirchner and Christophe Ringeissen},
  year = {1992},
  tags = {constraints,  algebra},
  researchr = {https://researchr.org/publication/KirchnerR92},
  cites = {0},
  citedby = {0},
  pages = {225-239},
  booktitle = {JICSLP},
}

@article{KirchnerR94:0,
  title = {Combining Symbolic Constraint Solvers on Algebraic Domains},
  author = {Hélène Kirchner and Christophe Ringeissen},
  year = {1994},
  tags = {constraints,  algebra},
  researchr = {https://researchr.org/publication/KirchnerR94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {18},
  number = {2},
  pages = {113-155},
}

@inproceedings{CastroMR03,
  title = {A Rule Language for Interaction},
  author = {Carlos Castro and Eric Monfroy and Christophe Ringeissen},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3010&spage=154},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/CastroMR03},
  cites = {0},
  citedby = {0},
  pages = {154-170},
  booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
  editor = {Krzysztof R. Apt and François Fages and Francesca Rossi and Péter Szeredi and József Váncza},
  volume = {3010},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21834-3},
}

@inproceedings{MonfroyPR08,
  title = {Dynamic Web Services Provisioning with Constraints},
  author = {Eric Monfroy and Olivier Perrin and Christophe Ringeissen},
  year = {2008},
  doi = {10.1007/978-3-540-88871-0_6},
  url = {http://dx.doi.org/10.1007/978-3-540-88871-0_6},
  tags = {web service, constraints, web services},
  researchr = {https://researchr.org/publication/MonfroyPR08},
  cites = {0},
  citedby = {0},
  pages = {26-43},
  booktitle = {On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {5331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88870-3},
}

@inproceedings{KirchnerRRT06,
  title = {Automatic Combinability of Rewriting-Based Satisfiability Procedures},
  author = {Hélène Kirchner and Silvio Ranise and Christophe Ringeissen and Duc-Khanh Tran},
  year = {2006},
  doi = {10.1007/11916277_37},
  url = {http://dx.doi.org/10.1007/11916277_37},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/KirchnerRRT06},
  cites = {0},
  citedby = {0},
  pages = {542-556},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings},
  editor = {Miki Hermann and Andrei Voronkov},
  volume = {4246},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48281-4},
}

@inproceedings{Ringeissen03,
  title = {Matching in a Class of Combined Non-disjoint Theories},
  author = {Christophe Ringeissen},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2741&spage=212},
  researchr = {https://researchr.org/publication/Ringeissen03},
  cites = {0},
  citedby = {0},
  pages = {212-227},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  editor = {Franz Baader},
  volume = {2741},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40559-3},
}

@article{BorovanskyKKMR98,
  title = {An overview of ELAN},
  author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau and Christophe Ringeissen},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#022},
  researchr = {https://researchr.org/publication/BorovanskyKKMR98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {55-70},
}

@inproceedings{Ringeissen96:0,
  title = {Cooperation of Decision Procedures for the Satisfiability Problem},
  author = {Christophe Ringeissen},
  year = {1996},
  researchr = {https://researchr.org/publication/Ringeissen96%3A0},
  cites = {0},
  citedby = {0},
  pages = {121-139},
  booktitle = {Frontiers of Combining Systems (FroCos)},
}

@inproceedings{RingeissenM99,
  title = {Generating Propagation Rules for Finite Domains: A Mixed Approach},
  author = {Christophe Ringeissen and Eric Monfroy},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1865/18650150.htm},
  tags = {rule-based, rules, systematic-approach},
  researchr = {https://researchr.org/publication/RingeissenM99},
  cites = {0},
  citedby = {0},
  pages = {150-172},
  booktitle = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers},
  editor = {Krzysztof R. Apt and Antonis C. Kakas and Eric Monfroy and Francesca Rossi},
  volume = {1865},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67885-9},
}

@article{Ringeissen00,
  title = {Handling Relations over Finite Domains in the Rule-Based System ELAN},
  author = {Christophe Ringeissen},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#012},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Ringeissen00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {36},
  pages = {194-211},
}

@article{BrandMR02,
  title = {The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration},
  author = {Mark G. J. van den Brand and Pierre-Etienne Moreau and Christophe Ringeissen},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006},
  tags = {rule-based, SDF, graph-rewriting, logic, Meta-Environment, rewriting logic, rewriting, ASF+SDF},
  researchr = {https://researchr.org/publication/BrandMR02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {65},
  number = {3},
  pages = {50-56},
}

@article{ArmandoR06,
  title = {Special issue on combining logical systems},
  author = {Alessandro Armando and Christophe Ringeissen},
  year = {2006},
  doi = {10.1016/j.ic.2006.04.005},
  url = {http://dx.doi.org/10.1016/j.ic.2006.04.005},
  researchr = {https://researchr.org/publication/ArmandoR06},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {204},
  number = {10},
  pages = {1411-1412},
}

@article{BrandR00,
  title = {ASF+SDF parsing tools applied to ELAN},
  author = {Mark G. J. van den Brand and Christophe Ringeissen},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#009},
  tags = {SDF, parsing, ASF+SDF},
  researchr = {https://researchr.org/publication/BrandR00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {36},
  pages = {138-157},
}

@inproceedings{KirchnerR97,
  title = {Higher-Order Equational Unification via Explicit Substitutions},
  author = {Claude Kirchner and Christophe Ringeissen},
  year = {1997},
  researchr = {https://researchr.org/publication/KirchnerR97},
  cites = {0},
  citedby = {0},
  pages = {61-75},
  booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, ALP  97 - HOA  97, Southampton, U.K., Spetember 3-5, 1997, Proceedings},
  editor = {Michael Hanus and Jan Heering and Karl Meinke},
  volume = {1298},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63459-2},
}
@proceedings{frocos:2000,
  title = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings},
  year = {2000},
  researchr = {https://researchr.org/publication/frocos%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings},
  conference = {frocos},
  editor = {Hélène Kirchner and Christophe Ringeissen},
  volume = {1794},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67281-8},
}

@proceedings{amast:2002,
  title = {Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings},
  year = {2002},
  tags = { algebra},
  researchr = {https://researchr.org/publication/amast%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings},
  conference = {amast},
  editor = {Hélène Kirchner and Christophe Ringeissen},
  volume = {2422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44144-1},
}