contejean.bib

@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: /usr/bin/bib2bib --remove topics --remove x-type --remove x-equipes --remove x-support --remove x-international-audience --remove x-proceedings --remove x-cle-support --remove x-editorial-board --remove clef_labo --remove type_digiteo --remove type_publi -oc contejean.cite -ob contejean.bib -c 'author : "contejean" and topics : "team"' /home/contejea/utils/biblio/abbrevs.bib /home/contejea/utils/biblio/demons.bib /home/contejea/utils/biblio/demons2.bib /home/contejea/utils/biblio/demons3.bib /home/contejea/utils/biblio/team.bib /home/contejea/utils/biblio/crossrefs.bib /home/contejea/utils/biblio/crossrefs2.bib}}
@inproceedings{ajili95cp,
  author = {Ajili, Farid and Contejean, Evelyne},
  title = {Complete Solving of Linear Diophantine Equations and
		  Inequations without adding Variables},
  crossref = {cp95},
  pages = {1--17},
  abstract = {http://www.lri.fr/~contejea/publis/1995cp/abstract.html},
  doi = {http://dx.doi.org/10.1007/3-540-60299-2_1}
}
@article{ajili97tcs,
  author = {Ajili, Farid and Contejean, Evelyne},
  title = {Avoiding Slack Variables in the Solving of Linear
		  Diophantine Equations and Inequations},
  journal = {Theoretical Computer Science},
  year = 1997,
  volume = 173,
  number = 1,
  month = feb,
  pages = {183--208},
  editor = {U. Montanari and F. Rossi},
  abstract = {http://www.lri.fr/~contejea/publis/1997tcs/abstract.html},
  annote = {Special Issue of TCS dedicated to a refereed
		  selection of papers presented at CP'95},
  doi = {http://dx.doi.org/10.1016/S0304-3975(96)00195-8}
}
@inproceedings{beldiceanu93,
  author = {Nicolas Beldiceanu and Evelyne Contejean and 
                  Helmut Simonis},
  location = {EC},
  title = {Integrating an algorithm for solving linear constraints
                 in finite domains in the language {CHIP}},
  booktitle = {Proc. 4th Workshop on Constraint Logic Programming},
  month = mar,
  year = 1993,
  abstract = {http://www.lri.fr/~contejea/publis/1993wclp/abstract.html}
}
@article{beldiceanu94jmcm,
  author = {Nicolas Beldiceanu and Evelyne Contejean},
  title = {Introducing global constraints in {CHIP}},
  journal = {Journal of {M}athematical and Computer Modelling},
  year = 1994,
  volume = 20,
  number = 12,
  pages = {97--123},
  location = {biblio-equipe},
  abstract = {http://www.lri.fr/~contejea/publis/1994jmcm/abstract.html},
  doi = {http://dx.doi.org/10.1016/0895-7177(94)90127-9}
}
@inproceedings{beldiceanu98informs,
  author = {Nicolas Beldiceanu and Eric Bourreau and Evelyne Contejean},
  title = {Solving a Hard Vehicle Routing \& Loading Problem},
  booktitle = {Proceedings of the Spring Meeting of the Institute for 
                  Operations Research and the Management Sciences},
  year = 1998,
  address = {Montreal},
  month = apr,
  abstract = {http://www.lri.fr/~contejea/publis/1998informs/abstract.html}
}
@inproceedings{boudet90lics,
  author = {Alexandre Boudet and Evelyne Contejean and
		 Herv{\'e} Devie},
  title = {A new {AC}-unification algorithm with a new
		 algorithm for solving diophantine equations},
  crossref = {lics90},
  pages = {289--299},
  abstract = {http://www.lri.fr/~contejea/publis/1990lics/abstract.html},
  doi = {http://dx.doi.org/10.1109/LICS.1990.113755}
}
@inproceedings{boudet92alp,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {On $n$-syntactic equational theories},
  pages = {446--457},
  crossref = {alp92},
  abstract = {http://www.lri.fr/~contejea/publis/1992alp/abstract.html},
  doi = {http://dx.doi.org/10.1007/BFb0013843}
}
@inproceedings{boudet94ccl,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {``{S}yntactic'' {AC}-Unification},
  pages = {136--151},
  crossref = {ccl94},
  abstract = {http://www.lri.fr/~contejea/publis/1994ccl/abstract.html},
  doi = {http://dx.doi.org/10.1007/BFb0016849}
}
@inproceedings{boudet96rta,
  author = {Alexandre Boudet and Evelyne Contejean and Claude
		  March{\'e}},
  title = {{AC}-complete unification and its application to
		  theorem proving},
  crossref = {rta96},
  pages = {18--32},
  abstract = {http://www.lri.fr/~contejea/publis/1996rta/abstract.html},
  doi = {http://dx.doi.org/10.1007/3-540-61464-8_40}
}
@inproceedings{boudet97cp,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {{AC}-Unification of Higher-order Patterns},
  crossref = {cp97},
  abstract = {http://www.lri.fr/~contejea/publis/1997cp/abstract.html},
  doi = {http://dx.doi.org/10.1007/BFb0017445},
  pages = {267--281}
}
@inproceedings{boudet98cade,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {{About the Confluence of Equational Pattern Rewrite
    Systems}},
  crossref = {cade98},
  pages = {88--102},
  doi = {http://dx.doi.org/10.1007/BFb0054250},
  abstract = {http://www.lri.fr/~contejea/publis/1998cade/abstract.html}
}
@misc{contejean88,
  author = {Evelyne Contejean},
  location = {Evelyne},
  title = {Unification associative-commutative},
  howpublished = {M{\'e}moire de DEA , Universit{\'e} de Paris Sud, Orsay},
  year = 1988
}
@inproceedings{contejean89,
  author = {Evelyne Contejean and Herv{\'e} Devie},
  title = {Solving systems of linear Diophantine equations},
  booktitle = {Proc. 3rd Workshop on Unification, Lambrecht, Germany},
  year = 1989,
  month = jun,
  publisher = {University of Kaiserslautern}
}
@article{contejean91,
  author = {Evelyne Contejean and Herv{\'e} Devie},
  location = {HC 388},
  title = {R{\'e}solution de syst{\`e}mes lin{\'e}aires
		  d'{\'e}quations diophantiennes},
  journal = {Comptes-Rendus de l'Acad{\'e}mie des Sciences de Paris},
  year = 1991,
  volume = 313,
  note = {S{\'e}rie I},
  pages = {115-120},
  abstract = {http://www.lri.fr/~contejea/publis/1991cras/abstract.html}
}
@phdthesis{contejean92these,
  author = {Evelyne Contejean},
  title = {{\'E}l{\'e}ments pour la D{\'e}cidabilit{\'e} de
		 l'Unification modulo la Distributivit{\'e}},
  school = {Universit{\'e} Paris-Sud},
  year = 1992,
  address = {Orsay, France},
  month = apr,
  type = {Th{\`e}se de Doctorat}
}
@inproceedings{contejean93icalp,
  author = {Evelyne Contejean},
  title = {A Partial Solution for {D}-unification based on a Reduction
 	                 to {AC1}-unification},
  pages = {621--632},
  crossref = {icalp93},
  year = 1993,
  abstract = {http://www.lri.fr/~contejea/publis/1993icalp/abstract.html},
  doi = {http://dx.doi.org/10.1007/3-540-56939-1_107}
}
@inproceedings{contejean93iclp,
  author = {Evelyne Contejean},
  title = {Solving Linear Diophantine Constraints Incrementally},
  crossref = {iclp93},
  pages = {532--549},
  abstract = {http://www.lri.fr/~contejea/publis/1993iclp/abstract.html},
  url = {http://cisnet.mit.edu/Logic-Programming-10th-International-Conference}
}
@article{contejean93jsc,
  author = {Evelyne Contejean},
  title = {Solving {$*$}-problems modulo Distributivity by a
		  Reduction to {$AC1$}-unification},
  journal = {Journal of Symbolic Computation},
  year = 1993,
  volume = 16,
  number = 5,
  pages = {493-52},
  abstract = {http://www.lri.fr/~contejea/publis/1993jsc/abstract.html},
  doi = {http://dx.doi.org/10.1006/jsco.1993.1060}
}
@article{contejean94ic,
  author = {Evelyne Contejean and Herv{\'e} Devie},
  title = {An Efficient Algorithm for Solving Systems of Diophantine
                   Equations},
  journal = {Information and Computation},
  year = 1994,
  volume = 113,
  number = 1,
  month = aug,
  pages = {143--172},
  abstract = {http://www.lri.fr/~contejea/publis/1994ic/abstract.html},
  doi = {http://dx.doi.org/10.1006/inco.1994.1067}
}
@inproceedings{contejean96rta,
  author = {Evelyne Contejean and Claude March{\'e}},
  title = {{CiME: Completion Modulo $E$}},
  crossref = {rta96},
  pages = {416--419},
  note = {System Description available at \url{http://cime.lri.fr/}},
  abstract = {http://www.lri.fr/~contejea/publis/1996rta_b/abstract.html},
  url = {http://cime.lri.fr/},
  doi = {http://dx.doi.org/10.1007/3-540-61464-8_70}
}
@inproceedings{contejean97rta,
  author = {Evelyne Contejean and Claude March{\'e} and Landy Rabehasaina},
  title = {Rewrite systems for natural, integral, and rational
                  arithmetic},
  pages = {98-112},
  crossref = {rta97},
  doi = {http://dx.doi.org/10.1007/3-540-62950-5_64},
  abstract = {http://www.lri.fr/~contejea/publis/1997rta/abstract.html}
}
@inproceedings{boudet01rta,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {{Combining Pattern $E$-unification Algorithms}},
  crossref = {rta01},
  pages = {63--76},
  doi = {http://dx.doi.org/10.1007/3-540-45127-7_7},
  abstract = {http://www.lri.fr/~contejea/publis/2001rta/abstract.html}
}
@misc{cime2,
  author = {Evelyne Contejean and Claude March{\'e} and
                  Benjamin Monate and Xavier Urbain},
  title = {{CiME version 2}},
  note = {Available at
                  \url{http://cime.lri.fr/}},
  year = 2000,
  url = {http://cime.lri.fr/}
}
@techreport{conchon10rr,
  author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
  title = {{Canonized Rewriting and Ground AC Completion Modulo Shostak Theories}},
  institution = {{LRI, Universit\'e Paris Sud}},
  year = 2010,
  type = {Research Report},
  number = 1538,
  month = dec,
  x-pdf = {http://www.lri.fr/~bibli/Rapports-internes/2010/RR1538.pdf},
  abstract = {http://www.lri.fr/~contejea/publis/rr1538/abstract.html}
}
@inproceedings{conchon11tacas,
  author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
  title = {{Canonized Rewriting and Ground AC Completion Modulo Shostak Theories}},
  crossref = {tacas2011},
  pages = {45-59},
  doi = {http://dx.doi.org/10.1007/978-3-642-19835-9_6},
  abstract = {http://www.lri.fr/~contejea/publis/2011tacas/abstract.html}
}
@inproceedings{conchon10lpar,
  author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
  title = {{Ground Associative and Commutative Completion Modulo Shostak Theories}},
  booktitle = {LPAR, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  year = 2010,
  editor = {Andrei Voronkov},
  series = {EasyChair Proceedings},
  address = {Yogyakarta, Indonesia},
  month = oct,
  note = {(short paper)}
}
@inproceedings{conchon07afm,
  author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig and St{\'e}phane Lescuyer},
  title = {{Lightweight Integration of the Ergo Theorem Prover inside a Proof Assistant}},
  crossref = {afm07},
  abstract = {http://www.lri.fr/~contejea/publis/2007afm/abstract.html},
  x-pdf = {http://fm.csl.sri.com/AFM07/afm07-preprint.pdf},
  doi = {http://dx.doi.org/10.1145/1345169.1345176},
  pages = {55--59}
}
@inproceedings{conchon07smt,
  author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig},
  title = {{CC(X)}: Efficiently Combining Equality and Solvable Theories without Canonizers},
  booktitle = {SMT 2007: 5th International Workshop on Satisfiability Modulo},
  year = 2007,
  editor = {Sava Krstic and Albert Oliveras}
}
@inproceedings{conchon08smt,
  author = {Fran\c{c}ois Bobot and Sylvain Conchon and \'Evelyne Contejean
  and St\'ephane Lescuyer},
  title = {{Implementing Polymorphism in SMT solvers}},
  booktitle = {SMT 2008: 6th International Workshop on Satisfiability Modulo},
  pages = {1--5},
  year = 2008,
  editor = {Clark Barrett and Leonardo de Moura},
  volume = 367,
  series = {ACM International Conference Proceedings Series},
  isbn = {978-1-60558-440-9},
  doi = {http://dx.doi.org/10.1145/1512464.1512466},
  abstract = {http://www.lri.fr/~contejea/publis/2008smt/abstract.html}
}
@inproceedings{conchon08entcs,
  author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig and St\'ephane Lescuyer},
  title = {{CC(X)}: Semantical Combination of Congruence Closure with
    Solvable Theories},
  booktitle = {Post-proceedings of the 5th International Workshop on
                  Satisfiability Modulo Theories ({SMT 2007})},
  series = {Electronic Notes in Computer Science},
  publisher = {Elsevier Science Publishers},
  volume = {198(2)},
  pages = {51--69},
  year = 2008,
  abstract = {http://www.lri.fr/~contejea/publis/2008entcs/abstract.html},
  doi = {http://dx.doi.org/10.1016/j.entcs.2008.04.080}
}
@inproceedings{contejean00rta,
  author = {\'Evelyne Contejean and Antoine Coste and Benjamin Monate},
  title = {Rewriting Techniques in Theoretical Physics},
  crossref = {rta00},
  pages = {80--94},
  year = 2000,
  doi = {http://dx.doi.org/10.1007/10721975_6},
  abstract = {http://www.lri.fr/~contejea/publis/2000rta/abstract.html}
}
@inproceedings{contejean01symcon,
  author = {\'Evelyne Contejean and Ana Paula Tomas},
  title = {{On Symmetries in Systems Coming from AC-Unification of
  Higher-Order Patterns}},
  booktitle = {{SymCon'01, Symmetry in Constraints}},
  year = 2001,
  editor = {Pierre Flener and Justin Pearson},
  address = {Paphos, Cyprus},
  month = {December}
}
@inproceedings{contejean03wst,
  author = {\'Evelyne Contejean and Claude March{\'e} and Benjamin Monate and Xavier Urbain},
  title = {{Proving Termination of Rewriting with {\sc C\textit{i}ME}}},
  crossref = {wst03},
  pages = {71--73},
  year = 2003,
  url = {http://cime.lri.fr}
}
@techreport{contejean04rr,
  author = {\'Evelyne Contejean and Claude March{\'e} and Ana-Paula Tom{\'a}s and Xavier Urbain},
  title = {Mechanically proving termination using polynomial interpretations},
  institution = {LRI},
  year = {2004},
  type = {Research Report},
  number = {1382},
  url = {http://www.lri.fr/~urbain/textes/rr1382.ps.gz}
}
@inproceedings{contejean04rta,
  author = {\'Evelyne Contejean},
  title = {{A certified AC matching algorithm}},
  booktitle = {15th International Conference on Rewriting Techniques and Applications},
  crossref = {rta04},
  pages = {70--84},
  year = 2004,
  doi = {http://dx.doi.org/10.1007/978-3-540-25979-4_5},
  abstract = {http://www.lri.fr/~contejea/publis/2004rta/abstract.html}
}
@inproceedings{contejean05cade,
  author = {\'Evelyne Contejean and Pierre Corbineau},
  title = {Reflecting Proofs in First-Order Logic with Equality},
  pages = {7--22},
  crossref = {cade05},
  abstract = {http://www.lri.fr/~contejea/publis/2005cade/abstract.html},
  doi = {http://dx.doi.org/10.1007/11532231_2}
}
@article{contejean05jar,
  author = {\'Evelyne Contejean and Claude March{\'e} and Ana Paula Tom{\'a}s and Xavier Urbain},
  title = {Mechanically proving termination using polynomial
   interpretations},
  journal = {Journal of Automated Reasoning},
  volume = {34},
  number = {4},
  pages = {325--363},
  year = 2005,
  doi = {http://dx.doi.org/10.1007/s10817-005-9022-x},
  abstract = {http://www.lri.fr/~contejea/publis/2005jar/abstract.html}
}
@inproceedings{contejean07frocos,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
  title = {Certification of automated termination proofs},
  crossref = {frocos07},
  pages = {148--162},
  doi = {http://dx.doi.org/10.1007/978-3-540-74621-8_10},
  abstract = {http://www.lri.fr/~contejea/publis/2007frocos/abstract.html}
}
@incollection{contejean07jpj,
  author = {\'Evelyne Contejean},
  title = {Modelling permutations in {Coq} for {Coccinelle}},
  crossref = {jpj07},
  pages = {259--269},
  doi = {http://dx.doi.org/10.1007/978-3-540-73147-4_13},
  abstract = {http://www.lri.fr/~contejea/publis/2007jpj/abstract.html}
}
@inproceedings{contejean08wsct,
  author = {\'Evelyne Contejean and Xavier Urbain},
  title = {{The A3PAT approach}},
  booktitle = { Workshop on Certified Termination WScT08},
  year = 2008,
  address = {Leipzig, Germany},
  month = may
}
@inproceedings{contejean08types,
  author = {\'Evelyne Contejean},
  title = {{Coccinelle, a Coq library for rewriting}},
  booktitle = {Types},
  year = 2008,
  address = {Torino, Italy},
  month = mar
}
@misc{cime3,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
  title = {{CiME3}},
  year = 2007,
  url = {{http://cime.lri.fr}},
  note = {\url{http://cime.lri.fr}}
}
@inproceedings{contejean10pepm,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and  Andrei Paskevich and Olivier Pons and Xavier Urbain},
  title = {{A3PAT, an Approach for Certified Automated Termination Proofs}},
  crossref = {pepm10},
  booktitle = {Partial Evaluation and Program Manipulation},
  year = 2010,
  month = jan,
  pages = {63-72},
  doi = {http://doi.acm.org/10.1145/1706356.1706370},
  abstract = {http://www.lri.fr/~contejea/publis/2010pepm/abstract.html}
}
@inproceedings{contejean11rta,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest
                  and Olivier Pons and Xavier Urbain},
  crossref = {rta11},
  title = {{Automated Certified Proofs with CiME3}},
  urn = {urn:nbn:de:0030-drops-31192},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.21},
  pages = {21--30},
  abstract = {http://www.lri.fr/~contejea/publis/2011rta/abstract.html}
}
@misc{coccinelle,
  author = {\'Evelyne Contejean},
  title = {{Coccinelle}},
  year = 2005,
  url = {http://www.lri.fr/~contejea/Coccinelle/coccinelle.html}
}
@misc{alt-ergo,
  author = {Fran\c{c}ois Bobot and Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala and St\'ephane Lescuyer and Alain Mebsout},
  title = {The {Alt-Ergo} Automated Theorem Prover},
  note = {APP deposit under the number IDDN FR 001 110026 000 S P 2010 000 1000},
  url = {http://alt-ergo.lri.fr/},
  year = 2008
}
@techreport{contejean11rr,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest
                  and Olivier Pons and Xavier Urbain},
  title = {{Automated Certified Proofs with CiME3}},
  institution = {C\'edric laboratory, CNAM Paris, France},
  year = {2011},
  number = {2044},
  url = {http://cedric.cnam.fr/fichiers/art_2044.pdf},
  abstract = {http://www.lri.fr/~contejea/publis/rr2044/abstract.html}
}
@proceedings{afm07,
  title = {{Proceedings of the second workshop on Automated formal methods}},
  booktitle = {{Proceedings of the second workshop on Automated formal methods}},
  year = 2007,
  editor = {John Rushby and N. Shankar},
  publisher = {ACM Press},
  isbn = {978-1-59593-879-4}
}
@proceedings{alp92,
  title = {3th International Conference on Algebraic and
			Logic Programming},
  booktitle = {3th International Conference on Algebraic and
			Logic Programming},
  editor = {H{\'e}l{\`e}ne Kirchner and Giorgio Levi},
  month = sep,
  year = 1992,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {632},
  address = {Volterra, Italy},
  isbn = {3-540-55873-X}
}
@proceedings{cade98,
  title = {15th International Conference on Automated Deduction},
  booktitle = {15th International Conference on Automated Deduction},
  address = {Lindau, Germany},
  editor = {C. and H. Kirchner},
  year = 1998,
  month = jul,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  isbn = {3-540-64675-2},
  volume = 1421
}
@proceedings{cade05,
  title = {20th International Conference on Automated Deduction},
  booktitle = {20th International Conference on Automated Deduction (CADE-20)},
  address = {Tallinn, Estonia},
  month = jul,
  year = 2005,
  editor = {Robert Nieuwenhuis},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 3632,
  publisher = {Springer},
  isbn = {3-540-28005-7}
}
@proceedings{ccl94,
  title = {First International Conference on Constraints in 
			Computational Logics},
  booktitle = {First International Conference on Constraints in 
			Computational Logics},
  editor = {Jean-Pierre Jouannaud},
  address = {M{\"u}nchen, Germany},
  month = sep,
  year = 1994,
  series = {Lecture Notes in Computer Science},
  volume = 845,
  publisher = {Springer},
  isbn = {3-540-58403-X}
}
@proceedings{cp95,
  title = {Principles and Practice of Constraint Programming},
  booktitle = {Proc. First International Conference on Principles and Practice of Constraint Programming},
  year = 1995,
  editor = {Ugo Montanari and Francesca Rossi},
  publisher = {Springer},
  address = {Cassis, France},
  month = sep,
  series = {Lecture Notes in Computer Science},
  volume = 976,
  isbn = {3-540-60299-2}
}
@proceedings{cp97,
  title = {Principles and Practice of Constraint Programming},
  booktitle = {Principles and Practice of Constraint Programming},
  year = 1997,
  editor = {Gert Smolka},
  publisher = {Springer},
  address = {Linz, Austria},
  month = oct,
  series = {Lecture Notes in Computer Science},
  volume = 1330,
  isbn = {3-540-63753-2}
}
@proceedings{icalp93,
  title = {20th International Colloquium on
                        Automata, Languages and Programming},
  booktitle = {20th International Colloquium on
                        Automata, Languages and Programming},
  address = {Lund, Sweden},
  editor = {Andrzej Lingas and Rolf Karlsson and Svante Carlsson},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {700},
  year = 1993,
  month = jul,
  isbn = {3-540-56939-1}
}
@proceedings{iclp93,
  title = {Proceedings of the 10th International Conference on
                	Logic Programming},
  booktitle = {Proceedings of the 10th International Conference on
                	Logic Programming},
  series = {Logic Programming},
  year = 1993,
  month = jun,
  address = {Budapest, Hungary},
  editor = {David S. Warren},
  publisher = {MIT Press},
  isbn = {0-262-73105-3}
}
@proceedings{lics90,
  title = {Proceedings of the Fifth Annual IEEE Symposium on Logic
			in Computer Science},
  booktitle = {Proceedings of the Fifth Annual IEEE Symposium on Logic
			in Computer Science},
  year = 1990,
  month = jun,
  address = {Philadelphia, Pennsylvania, USA},
  publisher = {{IEEE} Comp. Soc. Press},
  isbn = {0-8186-2073-0}
}
@proceedings{rta96,
  title = {7th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {7th International Conference on Rewriting Techniques and
			Applications},
  editor = {Harald Ganzinger},
  publisher = {Springer},
  year = 1996,
  month = jul,
  address = {New Brunswick, NJ, USA},
  series = {Lecture Notes in Computer Science},
  volume = 1103,
  isbn = {3-540-61464-8}
}
@proceedings{rta97,
  title = {8th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {8th International Conference on Rewriting Techniques and
			Applications},
  editor = {Hubert Comon},
  publisher = {Springer},
  year = 1997,
  month = jun,
  address = {Barcelona, Spain},
  series = {Lecture Notes in Computer Science},
  volume = {1232},
  isbn = {3-540-62950-5}
}
@proceedings{rta00,
  title = {11th International Conference on Rewriting Techniques and Applications},
  booktitle = {11th International Conference on Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK},
  isbn = {3-540-67778-X}
}
@proceedings{rta01,
  title = {12th International Conference on Rewriting Techniques and Applications},
  booktitle = {12th International Conference on Rewriting Techniques and Applications},
  editor = {Aart Middeldorp},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 2051,
  month = may,
  year = 2001,
  address = {Utrecht, The Netherlands},
  isbn = {3-540-42117-3}
}
@proceedings{rta04,
  title = {15th International Conference on Rewriting Techniques and Applications},
  booktitle = {15th International Conference on Rewriting Techniques and Applications},
  editor = {Vincent van Oostrom},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 3091,
  month = jun,
  year = 2004,
  address = {Aachen, Germany},
  isbn = {3-540-22153-0}
}
@proceedings{rta11,
  booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA 11)},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year = {2011},
  volume = {10},
  editor = {Manfred Schmidt-Schau{\ss}},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Novi Sad, Serbia},
  isbn = {978-3-939897-30-9},
  issn = {1868-8969}
}
@proceedings{tacas2011,
  title = {Tools and Algorithms for the Construction and Analysis of Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
  year = 2011,
  month = apr,
  editor = {Parosh A. Abdulla and K. Rustan M. Leino},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6605},
  isbn = {978-3-642-19834-2},
  address = {Saarbr{\"u}cken, Germany}
}
@proceedings{wst03,
  booktitle = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
  title = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
  year = {2003},
  editor = {Albert Rubio},
  month = jun,
  note = {Technical Report DSIC II/15/03, Universidad Polit\'ecnica de Valencia, Spain}
}
@proceedings{pepm10,
  title = {Partial Evaluation and Program Manipulation},
  year = 2010,
  booktitle = {ACM SIGPLAN 2010 Symposium on Partial Evaluation and Program Manipulation},
  editor = {John P. Gallagher and Janis Voigtl{\"a}nder},
  address = {Madrid, Spain},
  month = jan,
  publisher = {ACM Press},
  isbn = {978-1-60558-727-1}
}
@proceedings{jpj07,
  title = {Rewriting, Computation and Proof},
  booktitle = {Rewriting, Computation and Proof},
  year = 2007,
  editor = {Hubert Comon-Lundth and Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
  volume = 4600,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  note = {Jouannaud Festschrift},
  isbn = {978-3-540-73146-7}
}
@proceedings{frocos07,
  editor = {Boris Konev and Frank Wolter},
  title = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
  booktitle = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
  month = sep,
  year = 2007,
  address = {Liverpool,UK},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 4720,
  isbn = {978-3-540-74620-1}
}