@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 = {ictac},
}

@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 = {cc},
}

@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 = {frocos},
}

@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 = {RTA},
}

@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 = {FUIN},
  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 = {cade},
}

@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 = {ijfcs},
  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 = {jlp},
  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 = {AISC},
}

@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 = {FUIN},
  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},
}

@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 = {TACAS},
}

@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 = {RTA},
}

@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 = {ICLP},
}

@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 = {JSC},
  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 = {csclp},
}

@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 = {otm},
}

@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 = {lpar},
}

@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 = {cade},
}

@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 = {ENTCS},
  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 = {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 = {compulog},
}

@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 = {ENTCS},
  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 = {ENTCS},
  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 = {iandc},
  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 = {ENTCS},
  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 = {icalp},
}
@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},
}