BibTeX records: Hélène Kirchner

download as .bib file

@article{DBLP:journals/mscs/FernandezKP19,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud},
  title        = {Strategic port graph rewriting: an interactive modelling framework},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {29},
  number       = {5},
  pages        = {615--662},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0960129518000270},
  doi          = {10.1017/S0960129518000270},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/FernandezKP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FernandezKPV18,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Jason Vallet},
  title        = {Labelled graph strategic rewriting for social networks},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {96},
  pages        = {12--40},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.12.005},
  doi          = {10.1016/J.JLAMP.2017.12.005},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/FernandezKPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2018,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {3rd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {108},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-077-4},
  isbn         = {978-3-95977-077-4},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/PinaudAFKMV17,
  author       = {Bruno Pinaud and
                  Oana Andrei and
                  Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Guy Melan{\c{c}}on and
                  Jason Vallet},
  editor       = {Fabien Gandon and
                  Gilles Bisson},
  title        = {{PORGY} : a Visual Analytics Platform for System Modelling and Analysis
                  Based on Graph Rewriting},
  booktitle    = {17{\`{e}}me Journ{\'{e}}es Francophones Extraction et Gestion
                  des Connaissances, {EGC} 2017, 24-27 Janvier 2017, Grenoble, France},
  series       = {{RNTI}},
  volume       = {{E-33}},
  pages        = {473--476},
  publisher    = {{\'{E}}ditions {RNTI}},
  year         = {2017},
  url          = {http://editions-rnti.fr/?inprocid=1002327},
  timestamp    = {Fri, 16 Apr 2021 10:04:12 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/PinaudAFKMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezKP18,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud},
  editor       = {Sandra Alves and
                  Renata Wasserman},
  title        = {Labelled Port Graph - {A} Formal Structure for Models and Computations},
  booktitle    = {12th Workshop on Logical and Semantic Frameworks, with Applications,
                  {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {338},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.10.002},
  doi          = {10.1016/J.ENTCS.2018.10.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FernandezKP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FernandezKPV16,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Jason Vallet},
  editor       = {Dorel Lucanu},
  title        = {Labelled Graph Rewriting Meets Social Networks},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_1},
  doi          = {10.1007/978-3-319-44802-2\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/FernandezKPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kirchner15,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Peter Csaba {\"{O}}lveczky and
                  Carolyn L. Talcott},
  title        = {Rewriting Strategies and Strategic Rewrite Programs},
  booktitle    = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
                  Meseguer on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9200},
  pages        = {380--403},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23165-5\_18},
  doi          = {10.1007/978-3-319-23165-5\_18},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kirchner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kirchner15,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Maribel Fern{\'{a}}ndez},
  title        = {Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended
                  Abstract (Invited Talk)},
  booktitle    = {26th International Conference on Rewriting Techniques and Applications,
                  {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {36},
  pages        = {1--4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2015.1},
  doi          = {10.4230/LIPICS.RTA.2015.1},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Kirchner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ValletKPM15,
  author       = {Jason Vallet and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Guy Melan{\c{c}}on},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {A Visual Analytics Approach to Compare Propagation Models in Social
                  Networks},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {65--79},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.5},
  doi          = {10.4204/EPTCS.181.5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ValletKPM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FernandezKMP14,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Ian Mackie and
                  Bruno Pinaud},
  editor       = {Arnold Beckmann and
                  Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Klaus Meer},
  title        = {Visual Modelling of Complex Systems: Towards an Abstract Machine for
                  {PORGY}},
  booktitle    = {Language, Life, Limits - 10th Conference on Computability in Europe,
                  CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8493},
  pages        = {183--193},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08019-2\_19},
  doi          = {10.1007/978-3-319-08019-2\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FernandezKMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FernandezKP14,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp and
                  Alberto Lluch{-}Lafuente and
                  Anton Wijs},
  title        = {Strategic Port Graph Rewriting: An Interactive Modelling and Analysis
                  Framework},
  booktitle    = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
                  {GRAPHITE} 2014, Grenoble, France, 5th April 2014},
  series       = {{EPTCS}},
  volume       = {159},
  pages        = {15--29},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.159.3},
  doi          = {10.4204/EPTCS.159.3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FernandezKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KirchnerK14,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {Equational Logic and Rewriting},
  booktitle    = {Computational Logic},
  series       = {Handbook of the History of Logic},
  volume       = {9},
  pages        = {255--282},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/B978-0-444-51624-4.50006-X},
  doi          = {10.1016/B978-0-444-51624-4.50006-X},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/KirchnerK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HuangK13,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Secure interoperation design in multi-domains environments based on
                  colored Petri nets},
  journal      = {Inf. Sci.},
  volume       = {221},
  pages        = {591--606},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ins.2012.09.027},
  doi          = {10.1016/J.INS.2012.09.027},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/HuangK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KirchnerKN13,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Fabrice Nahon},
  editor       = {Andrei Voronkov and
                  Christoph Weidenbach},
  title        = {Narrowing Based Inductive Proof Search},
  booktitle    = {Programming Logics - Essays in Memory of Harald Ganzinger},
  series       = {Lecture Notes in Computer Science},
  volume       = {7797},
  pages        = {216--238},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37651-1\_9},
  doi          = {10.1007/978-3-642-37651-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KirchnerKN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-0796,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fabio Mogavero and
                  Aniello Murano and
                  Moshe Y. Vardi},
  title        = {A rewriting point of view on strategies},
  booktitle    = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
                  2013, Rome, Italy, March 16-17, 2013},
  series       = {{EPTCS}},
  volume       = {112},
  pages        = {99--105},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.112.15},
  doi          = {10.4204/EPTCS.112.15},
  timestamp    = {Sat, 30 Sep 2023 10:08:06 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-0796.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GnaedigK11,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Proving weak properties of rewriting},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {34},
  pages        = {4405--4438},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.04.028},
  doi          = {10.1016/J.TCS.2011.04.028},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GnaedigK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/HuangK11,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Formal Specification and Verification of Modular Security Policy Based
                  on Colored Petri Nets},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {8},
  number       = {6},
  pages        = {852--865},
  year         = {2011},
  url          = {https://doi.org/10.1109/TDSC.2010.43},
  doi          = {10.1109/TDSC.2010.43},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/HuangK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/BourdierCJK11,
  author       = {Tony Bourdier and
                  Horatiu Cirstea and
                  Mathieu Jaume and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Pascal Lafourcade},
  title        = {Formal Specification and Validation of Security Policies},
  booktitle    = {Foundations and Practice of Security - 4th Canada-France {MITACS}
                  Workshop, {FPS} 2011, Paris, France, May 12-13, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6888},
  pages        = {148--163},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-27901-0\_12},
  doi          = {10.1007/978-3-642-27901-0\_12},
  timestamp    = {Fri, 27 Dec 2019 21:23:06 +0100},
  biburl       = {https://dblp.org/rec/conf/fps/BourdierCJK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezKN11,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Olivier Namet},
  editor       = {Germ{\'{a}}n Vidal},
  title        = {A Strategy Language for Graph Rewriting},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 21st International
                  Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7225},
  pages        = {173--188},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32211-2\_12},
  doi          = {10.1007/978-3-642-32211-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FernandezKN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-2654,
  author       = {Oana Andrei and
                  Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Guy Melan{\c{c}}on and
                  Olivier Namet and
                  Bruno Pinaud},
  editor       = {Rachid Echahed},
  title        = {{PORGY:} Strategy-Driven Interactive Transformation of Graphs},
  booktitle    = {Proceedings 6th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April
                  2011},
  series       = {{EPTCS}},
  volume       = {48},
  pages        = {54--68},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.48.7},
  doi          = {10.4204/EPTCS.48.7},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-2654.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiK13,
  author       = {Oana Andrei and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Martin Fr{\"{a}}nzle and
                  Antonios Tsourdos},
  title        = {Runtime Verification for Biochemical Programs},
  booktitle    = {Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated
                  to {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {297},
  pages        = {27--46},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2013.12.003},
  doi          = {10.1016/J.ENTCS.2013.12.003},
  timestamp    = {Tue, 22 Nov 2022 14:18:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndreiK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/TranRRK10,
  author       = {Duc{-}Khanh Tran and
                  Christophe Ringeissen and
                  Silvio Ranise and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Combination of convex theories: Modularity, deduction completeness,
                  and explanation},
  journal      = {J. Symb. Comput.},
  volume       = {45},
  number       = {2},
  pages        = {261--286},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jsc.2008.10.006},
  doi          = {10.1016/J.JSC.2008.10.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/TranRRK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HurlinK10,
  author       = {Cl{\'{e}}ment Hurlin and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Pierpaolo Degano and
                  Sandro Etalle and
                  Joshua D. Guttman},
  title        = {Semi-automatic Synthesis of Security Policies by Invariant-Guided
                  Abduction},
  booktitle    = {Formal Aspects of Security and Trust - 7th International Workshop,
                  {FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6561},
  pages        = {157--175},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19751-2\_11},
  doi          = {10.1007/978-3-642-19751-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/HurlinK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1012-5337,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44},
  doi          = {10.4204/EPTCS.44},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NahonKKB09,
  author       = {Fabrice Nahon and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Paul Brauner},
  title        = {Inductive proof search modulo},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {55},
  number       = {1-2},
  pages        = {123--154},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9154-5},
  doi          = {10.1007/S10472-009-9154-5},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NahonKKB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsn/HuangKLW09,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Songyun Liu and
                  Weili Wu},
  title        = {Handling inheritance violation for secure interoperation of heterogeneous
                  systems},
  journal      = {Int. J. Secur. Networks},
  volume       = {4},
  number       = {4},
  pages        = {223--233},
  year         = {2009},
  url          = {https://doi.org/10.1504/IJSN.2009.028669},
  doi          = {10.1504/IJSN.2009.028669},
  timestamp    = {Thu, 02 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsn/HuangKLW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GnaedigK09,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Termination of rewriting under strategies},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {10},
  number       = {2},
  pages        = {10:1--10:52},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462179.1462182},
  doi          = {10.1145/1462179.1462182},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GnaedigK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AndreiK09,
  author       = {Oana Andrei and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Marina Lipshteyn and
                  Vadim E. Levit and
                  Ross M. McConnell},
  title        = {A Higher-Order Graph Calculus for Autonomic Computing},
  booktitle    = {Graph Theory, Computational Intelligence and Thought, Essays Dedicated
                  to Martin Charles Golumbic on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5420},
  pages        = {15--26},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02029-2\_2},
  doi          = {10.1007/978-3-642-02029-2\_2},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AndreiK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuangK09,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Jens Palsberg},
  title        = {Component-Based Security Policy Design with Colored Petri Nets},
  booktitle    = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
                  Mosses on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5700},
  pages        = {21--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04164-8\_3},
  doi          = {10.1007/978-3-642-04164-8\_3},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuangK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HuangK09,
  author       = {Hejiao Huang and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Sheikh Iqbal Ahamed and
                  Elisa Bertino and
                  Carl K. Chang and
                  Vladimir Getov and
                  Lin Liu and
                  Ming Hua and
                  Rajesh Subramanyan},
  title        = {Policy Composition Based on Petri Nets},
  booktitle    = {Proceedings of the 33rd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
                  USA, July 20-24, 2009. Volume 2},
  pages        = {416--421},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/COMPSAC.2009.169},
  doi          = {10.1109/COMPSAC.2009.169},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HuangK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/KirchnerKK09,
  author       = {Claude Kirchner and
                  Florent Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Santiago Escobar},
  title        = {Constraint Based Strategies},
  booktitle    = {Functional and Constraint Logic Programming, 18th International Workshop,
                  {WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5979},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11999-6\_2},
  doi          = {10.1007/978-3-642-11999-6\_2},
  timestamp    = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wflp/KirchnerKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1001-4427,
  author       = {Tony Bourdier and
                  Horatiu Cirstea and
                  Daniel J. Dougherty and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Maribel Fern{\'{a}}ndez},
  title        = {Extensional and Intensional Strategies},
  booktitle    = {Proceedings Ninth International Workshop on Reduction Strategies in
                  Rewriting and Programming, {WRS} 2009, Brasilia, Brazil, 28th June
                  2009},
  series       = {{EPTCS}},
  volume       = {15},
  pages        = {1--19},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.15.1},
  doi          = {10.4204/EPTCS.15.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1001-4427.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiK09,
  author       = {Oana Andrei and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Andrea Corradini},
  title        = {A Port Graph Calculus for Autonomic Computing and Invariant Verification},
  booktitle    = {Proceedings of the Fifth International Workshop on Computing with
                  Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {4},
  pages        = {17--38},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.015},
  doi          = {10.1016/J.ENTCS.2009.10.015},
  timestamp    = {Fri, 24 Feb 2023 15:21:08 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndreiK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerKO09,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Anderson Santana de Oliveira},
  editor       = {Daniel J. Dougherty and
                  Santiago Escobar},
  title        = {Analysis of Rewrite-Based Access Control Policies},
  booktitle    = {Proceedings of the Third International Workshop on Security and Rewriting
                  Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {234},
  pages        = {55--75},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.072},
  doi          = {10.1016/J.ENTCS.2009.02.072},
  timestamp    = {Thu, 09 Mar 2023 12:59:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerKO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GnaedigK07,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Narrowing, Abstraction and Constraints for Proving Properties of Reduction
                  Relations},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {44--67},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_3},
  doi          = {10.1007/978-3-540-73147-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GnaedigK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/OliveiraWKK07,
  author       = {Anderson Santana de Oliveira and
                  Eric Ke Wang and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Peng Ning and
                  Vijay Atluri and
                  Virgil D. Gligor and
                  Heiko Mantel},
  title        = {Weaving rewrite-based access control policies},
  booktitle    = {Proceedings of the 2007 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1314436.1314446},
  doi          = {10.1145/1314436.1314446},
  timestamp    = {Tue, 10 Nov 2020 16:06:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/OliveiraWKK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/DoughertyKKO07,
  author       = {Daniel J. Dougherty and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Anderson Santana de Oliveira},
  editor       = {Joachim Biskup and
                  Javier L{\'{o}}pez},
  title        = {Modular Access Control Via Strategic Rewriting},
  booktitle    = {Computer Security - {ESORICS} 2007, 12th European Symposium On Research
                  In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4734},
  pages        = {578--593},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74835-9\_38},
  doi          = {10.1007/978-3-540-74835-9\_38},
  timestamp    = {Thu, 29 Aug 2019 08:09:59 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/DoughertyKKO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiK07,
  author       = {Oana Andrei and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Viorel Negru and
                  Tudor Jebelean and
                  Dana Petcu and
                  Daniela Zaharie},
  title        = {Graph Rewriting and Strategies for Modeling Biochemical Networks},
  booktitle    = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
                  Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
                  September 26-29, 2007},
  pages        = {407--414},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SYNASC.2007.44},
  doi          = {10.1109/SYNASC.2007.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/AndreiK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiK08,
  author       = {Oana Andrei and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Joost Visser and
                  Victor Winter},
  title        = {A Rewriting Calculus for Multigraphs with Ports},
  booktitle    = {Proceedings of the Eighth International Workshop on Rule Based Programming,
                  RULE@RDP 2007, Paris, France, June 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {219},
  pages        = {67--82},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.035},
  doi          = {10.1016/J.ENTCS.2008.10.035},
  timestamp    = {Fri, 17 Feb 2023 10:42:59 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndreiK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007jouannaud,
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4},
  doi          = {10.1007/978-3-540-73147-4},
  isbn         = {978-3-540-73146-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2007jouannaud.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AndreiIK06,
  author       = {Oana Andrei and
                  Liliana Ibanescu and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Kokichi Futatsugi and
                  Jean{-}Pierre Jouannaud and
                  Jos{\'{e}} Meseguer},
  title        = {Non-intrusive Formal Methods and Strategic Rewriting for a Chemical
                  Application},
  booktitle    = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4060},
  pages        = {194--215},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780274\_11},
  doi          = {10.1007/11780274\_11},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AndreiIK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KirchnerRRT06,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Silvio Ranise and
                  Christophe Ringeissen and
                  Duc{-}Khanh Tran},
  editor       = {Miki Hermann and
                  Andrei Voronkov},
  title        = {Automatic Combinability of Rewriting-Based Satisfiability Procedures},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
                  International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
                  13-17, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4246},
  pages        = {542--556},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11916277\_37},
  doi          = {10.1007/11916277\_37},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KirchnerRRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GnaedigK06,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Annalisa Bossi and
                  Michael J. Maher},
  title        = {Computing constructor forms with non terminating rewrite programs},
  booktitle    = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 10-12, 2006,
                  Venice, Italy},
  pages        = {121--132},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140335.1140351},
  doi          = {10.1145/1140335.1140351},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GnaedigK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KirchnerRRT05,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Silvio Ranise and
                  Christophe Ringeissen and
                  Duc{-}Khanh Tran},
  editor       = {Dang Van Hung and
                  Martin Wirsing},
  title        = {On Superposition-Based Satisfiability Procedures and Their Combination},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
                  Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3722},
  pages        = {594--608},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560647\_39},
  doi          = {10.1007/11560647\_39},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/KirchnerRRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/KirchnerKS05,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Anderson Santana},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Anchoring modularity in {HTML}},
  booktitle    = {First International Workshop on Automated Specification and Verification
                  of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
  volume       = {{DSIC-II/03/05}},
  pages        = {139--151},
  publisher    = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
                  de Valencia},
  year         = {2005},
  timestamp    = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wwv/KirchnerKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BournezIK06,
  author       = {Olivier Bournez and
                  Liliana Ibanescu and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Horatiu Cirstea and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {From Chemical Rules to Term Rewriting},
  booktitle    = {Proceedings of the 6th International Workshop on Rule-Based Programming,
                  RULE@RDP 2005, Nara, Japan, April 23, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {147},
  number       = {1},
  pages        = {113--134},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.040},
  doi          = {10.1016/J.ENTCS.2005.06.040},
  timestamp    = {Thu, 15 Dec 2022 15:09:06 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BournezIK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerKS06,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Anderson Santana},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Anchoring Modularity in {HTML}},
  booktitle    = {Proceedings of the International Workshop on Automated Specification
                  and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
                  14-15, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {157},
  number       = {2},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.051},
  doi          = {10.1016/J.ENTCS.2005.12.051},
  timestamp    = {Fri, 20 Jan 2023 11:40:19 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507064,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Termination of rewriting strategies: a generic approach},
  journal      = {CoRR},
  volume       = {abs/cs/0507064},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507064},
  eprinttype    = {arXiv},
  eprint       = {cs/0507064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KirchnerK04,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Michael J. Maher},
  title        = {Rule-Based Programming and Proving: The {ELAN} Experience Outcomes},
  booktitle    = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision
                  Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis
                  Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand,
                  December 8-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3321},
  pages        = {363--379},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30502-6\_27},
  doi          = {10.1007/978-3-540-30502-6\_27},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/KirchnerK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FissoreGK04,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Zhiming Liu and
                  Keijiro Araki},
  title        = {A Proof of Weak Termination Providing the Right Way to Terminate},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
                  Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3407},
  pages        = {356--371},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31862-0\_26},
  doi          = {10.1007/978-3-540-31862-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FissoreGK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DeplagneKKN03,
  author       = {Eric Deplagne and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Quang Huy Nguyen},
  editor       = {Franz Baader},
  title        = {Proof Search and Proof Check for Equational and Inductive Theorems},
  booktitle    = {Automated Deduction - CADE-19, 19th International Conference on Automated
                  Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2741},
  pages        = {297--316},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45085-6\_26},
  doi          = {10.1007/978-3-540-45085-6\_26},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DeplagneKKN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/BournezCCKI03,
  author       = {Olivier Bournez and
                  Guy{-}Marie C{\^{o}}me and
                  Val{\'{e}}rie Conraud and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Liliana Ibanescu},
  editor       = {Peter M. A. Sloot and
                  David Abramson and
                  Alexander V. Bogdanov and
                  Jack J. Dongarra and
                  Albert Y. Zomaya and
                  Yuri E. Gorbachev},
  title        = {Automated Generation of Kinetic Chemical Mechanisms Using Rewriting},
  booktitle    = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
                  Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
                  Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2659},
  pages        = {367--376},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44863-2\_37},
  doi          = {10.1007/3-540-44863-2\_37},
  timestamp    = {Tue, 20 Jun 2023 16:27:45 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/BournezCCKI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FissoreGK03,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Simplification and termination of strategies in rule-based languages},
  booktitle    = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 27-29 August 2003,
                  Uppsala, Sweden},
  pages        = {124--135},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/888251.888264},
  doi          = {10.1145/888251.888264},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/FissoreGK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BournezCCKI03,
  author       = {Olivier Bournez and
                  Guy{-}Marie C{\^{o}}me and
                  Val{\'{e}}rie Conraud and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Liliana Ibanescu},
  editor       = {Robert Nieuwenhuis},
  title        = {A Rule-Based Approach for Automated Generation of Kinetic Chemical
                  Mechanisms},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {30--45},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_4},
  doi          = {10.1007/3-540-44881-0\_4},
  timestamp    = {Sun, 02 Oct 2022 16:14:20 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BournezCCKI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NguyenKK02,
  author       = {Quang Huy Nguyen and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {External Rewriting for Skeptical Proof Assistants},
  journal      = {J. Autom. Reason.},
  volume       = {29},
  number       = {3-4},
  pages        = {309--336},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1021975117537},
  doi          = {10.1023/A:1021975117537},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/NguyenKK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorovanskyKKM02,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  title        = {{ELAN} from a rewriting logic point of view},
  journal      = {Theor. Comput. Sci.},
  volume       = {285},
  number       = {2},
  pages        = {155--185},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00358-9},
  doi          = {10.1016/S0304-3975(01)00358-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BorovanskyKKM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AstesianoBKKMST02,
  author       = {Egidio Astesiano and
                  Michel Bidoit and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bernd Krieg{-}Br{\"{u}}ckner and
                  Peter D. Mosses and
                  Donald Sannella and
                  Andrzej Tarlecki},
  title        = {{CASL:} the Common Algebraic Specification Language},
  journal      = {Theor. Comput. Sci.},
  volume       = {286},
  number       = {2},
  pages        = {153--196},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00368-1},
  doi          = {10.1016/S0304-3975(01)00368-1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AstesianoBKKMST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FissoreGK02,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {System Presentation -- {CARIBOO:} An induction based proof tool for
                  termination with strategies},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {62--73},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571164},
  doi          = {10.1145/571157.571164},
  timestamp    = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/FissoreGK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FissoreGK02,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Outermost ground termination},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {188--207},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82535-6},
  doi          = {10.1016/S1571-0661(05)82535-6},
  timestamp    = {Wed, 07 Dec 2022 08:35:58 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FissoreGK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2002,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Algebraic Methodology and Software Technology, 9th International Conference,
                  {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
                  9-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2422},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45719-4},
  doi          = {10.1007/3-540-45719-4},
  isbn         = {3-540-44144-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BorovanskyKKR01,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Rewriting with Strategies in {ELAN:} {A} Functional Semantics},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {12},
  number       = {1},
  pages        = {69--95},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0129054101000412},
  doi          = {10.1142/S0129054101000412},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BorovanskyKKR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KirchnerM01,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  title        = {Promoting rewriting to a programming language: a compiler for non-deterministic
                  rewrite programs in associative-commutative theories},
  journal      = {J. Funct. Program.},
  volume       = {11},
  number       = {2},
  pages        = {207--251},
  year         = {2001},
  url          = {https://doi.org/10.1017/s0956796800003907},
  doi          = {10.1017/S0956796800003907},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/KirchnerM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KirchnerM01,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Peter D. Mosses},
  title        = {Algebraic Specifications, Higher-order Types and Set-theoretic Models},
  journal      = {J. Log. Comput.},
  volume       = {11},
  number       = {3},
  pages        = {453--481},
  year         = {2001},
  url          = {https://doi.org/10.1093/logcom/11.3.453},
  doi          = {10.1093/LOGCOM/11.3.453},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/KirchnerM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/FissoreGK01,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {Termination of Rewriting with Local Strategies},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {155--188},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00284-1},
  doi          = {10.1016/S1571-0661(04)00284-1},
  timestamp    = {Tue, 13 Dec 2022 13:31:33 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FissoreGK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Kirchner00,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Combining assisted and automated deduction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {28},
  number       = {1-4},
  pages        = {21--26},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1018987702427},
  doi          = {10.1023/A:1018987702427},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Kirchner00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GramlichKP00,
  author       = {Bernhard Gramlich and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Frank Pfenning},
  title        = {Editorial: Strategies in Automated Deduction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {29},
  number       = {1-4},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1016668707781},
  doi          = {10.1023/A:1016668707781},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GramlichKP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerG00,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Isabelle Gnaedig},
  editor       = {Kokichi Futatsugi},
  title        = {Termination and normalisation under strategy Proofs in {ELAN}},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {93--120},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80124-0},
  doi          = {10.1016/S1571-0661(05)80124-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2000,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Frontiers of Combining Systems, Third International Workshop, FroCoS
                  2000, Nancy, France, March 22-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1794},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720084},
  doi          = {10.1007/10720084},
  isbn         = {3-540-67281-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/DuboisK99,
  author       = {Hubert Dubois and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Rule Based Programming with Constraints and Strategies},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {274--297},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_14},
  doi          = {10.1007/3-540-44654-0\_14},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/DuboisK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Kirchner99,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {{ELAN}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {241--248},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 12:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Kirchner99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/Kirchner99,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Term Rewriting},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {273--320},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_9},
  doi          = {10.1007/978-3-642-59851-7\_9},
  timestamp    = {Tue, 16 May 2017 14:24:23 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Kirchner99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HintermeierKK98,
  author       = {Claus Hintermeier and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Dynamically Typed Computations for Order-Sorted Equational Presentations},
  journal      = {J. Symb. Comput.},
  volume       = {25},
  number       = {4},
  pages        = {455--526},
  year         = {1998},
  url          = {https://doi.org/10.1006/jsco.1997.0187},
  doi          = {10.1006/JSCO.1997.0187},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/HintermeierKK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KirchnerM98,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Peter D. Mosses},
  editor       = {Armando Martin Haeberer},
  title        = {Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models},
  booktitle    = {Algebraic Methodology and Software Technology, 7th International Conference,
                  {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1548},
  pages        = {373--388},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49253-4\_27},
  doi          = {10.1007/3-540-49253-4\_27},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/KirchnerM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BorovanskyKK98,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Masahiko Sato and
                  Yoshihito Toyama},
  title        = {A Functional View of Rewriting and Strategies for a Semantics of {ELAN}},
  booktitle    = {Third Fuji International Symposium on Functional and Logic Programming,
                  {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
  pages        = {143--166},
  publisher    = {World Scientific, Singapore},
  year         = {1998},
  timestamp    = {Tue, 30 Jul 2019 10:47:11 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/BorovanskyKK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/MoreauK98,
  author       = {Pierre{-}Etienne Moreau and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Catuscia Palamidessi and
                  Hugh Glaser and
                  Karl Meinke},
  title        = {A Compiler for Rewrite Programs in Associative-Commutative Theories},
  booktitle    = {Principles of Declarative Programming, 10th International Symposium,
                  PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
                  Pisa, Italy, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1490},
  pages        = {230--249},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0056617},
  doi          = {10.1007/BFB0056617},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/MoreauK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/KirchnerM98,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  editor       = {Jos{\'{e}} Luiz Fiadeiro},
  title        = {Non-deterministic Computations in {ELAN}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 13th International
                  Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1589},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48483-3\_12},
  doi          = {10.1007/3-540-48483-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/KirchnerM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMR98,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau and
                  Christophe Ringeissen},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {An overview of {ELAN}},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {55--70},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82552-6},
  doi          = {10.1016/S1571-0661(05)82552-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKKMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerK98,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Preface},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {367--368},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80022-2},
  doi          = {10.1016/S1571-0661(05)80022-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1998,
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Automated Deduction - CADE-15, 15th International Conference on Automated
                  Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1421},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054239},
  doi          = {10.1007/BFB0054239},
  isbn         = {3-540-64675-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/1998,
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/15/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMV96,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau and
                  Marian Vittek},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {{ELAN:} {A} logical framework based on computational systems},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00032-5},
  doi          = {10.1016/S1571-0661(04)00032-5},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKKMV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerM96,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {A reflective extension of {ELAN}},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {149--168},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00038-6},
  doi          = {10.1016/S1571-0661(04)00038-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKK96,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Controlling rewriting by rewriting},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {169--189},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00039-8},
  doi          = {10.1016/S1571-0661(04)00039-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caap/1996,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
                  Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1059},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61064-2},
  doi          = {10.1007/3-540-61064-2},
  isbn         = {3-540-61064-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HintermaierKM95,
  author       = {Claus Hintermeier and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Peter D. Mosses},
  editor       = {Magne Haveraaen and
                  Olaf Owe and
                  Ole{-}Johan Dahl},
  title        = {Combining Algebraic and Set-Theoretic Specifications},
  booktitle    = {Recent Trends in Data Type Specification, 11th Workshop on Specification
                  of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
                  Norway, September 19-23, 1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1130},
  pages        = {255--273},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61629-2\_47},
  doi          = {10.1007/3-540-61629-2\_47},
  timestamp    = {Sat, 30 Sep 2023 09:37:34 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/HintermaierKM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/HintermeierKM95,
  author       = {Claus Hintermeier and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Peter D. Mosses},
  editor       = {Gilles Dowek and
                  Jan Heering and
                  Karl Meinke and
                  Bernhard M{\"{o}}ller},
  title        = {R\({}^{\mbox{n}}\)- and G\({}^{\mbox{n}}\)-Logics},
  booktitle    = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
                  Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1074},
  pages        = {90--108},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61254-8\_21},
  doi          = {10.1007/3-540-61254-8\_21},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/hoa/HintermeierKM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KirchnerM95,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  editor       = {Jieh Hsiang},
  title        = {Prototyping Completion with Constraints Using Computational Systems},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {438--443},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_79},
  doi          = {10.1007/3-540-59200-8\_79},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KirchnerM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KirchnerR94,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Combining Symbolic Constraint Solvers on Algebraic Domains},
  journal      = {J. Symb. Comput.},
  volume       = {18},
  number       = {2},
  pages        = {113--155},
  year         = {1994},
  url          = {https://doi.org/10.1006/jsco.1994.1040},
  doi          = {10.1006/JSCO.1994.1040},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/KirchnerR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HintermeierKK94,
  author       = {Claus Hintermeier and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Egidio Astesiano and
                  Gianna Reggio and
                  Andrzej Tarlecki},
  title        = {Sort Inheritance for Order-Sorted Equational Presentations},
  booktitle    = {Recent Trends in Data Type Specification, 10th Workshop on Specification
                  of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
                  Italy, May 30 - June 3, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {906},
  pages        = {319--335},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0014436},
  doi          = {10.1007/BFB0014436},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/HintermeierKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HintermeierKK94,
  author       = {Claus Hintermeier and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Serge Abiteboul and
                  Eli Shamir},
  title        = {Dynamically-Typed Computations for Order-Sorted Equational Presentations},
  booktitle    = {Automata, Languages and Programming, 21st International Colloquium,
                  ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {820},
  pages        = {450--461},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58201-0\_89},
  doi          = {10.1007/3-540-58201-0\_89},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HintermeierKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KirchnerR94,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  editor       = {Pascal Van Hentenryck},
  title        = {Constraint Solving by Narrowing in Combined Algebraic Domains},
  booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference
                  on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages        = {617--631},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/KirchnerR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/Kirchner94,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Andreas Podelski},
  title        = {On the Use of Constraints in Automated Deduction},
  booktitle    = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
                  School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {910},
  pages        = {128--146},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-59155-9\_8},
  doi          = {10.1007/3-540-59155-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/Kirchner94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Kirchner93,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Some Extensions of Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {54--73},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_5},
  doi          = {10.1007/3-540-59340-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Kirchner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/KirchnerKV93,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Marian Vittek},
  title        = {Implementing Computational Systems with Constraints},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {156--165},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/KirchnerKV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JouannaudKKM92,
  author       = {Jean{-}Pierre Jouannaud and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Aristide M{\'{e}}grelis},
  title        = {Programming with Equalitiers, Subsorts, Overloading and Parametrization
                  in {OBJ}},
  journal      = {J. Log. Program.},
  volume       = {12},
  number       = {3{\&}4},
  pages        = {257--279},
  year         = {1992},
  url          = {https://doi.org/10.1016/0743-1066(92)90027-Z},
  doi          = {10.1016/0743-1066(92)90027-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/JouannaudKKM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HsiangKLR92,
  author       = {Jieh Hsiang and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre Lescanne and
                  Micha{\"{e}}l Rusinowitch},
  title        = {The Term Rewriting Approach to Automated Theorem Proving},
  journal      = {J. Log. Program.},
  volume       = {14},
  number       = {1{\&}2},
  pages        = {71--99},
  year         = {1992},
  url          = {https://doi.org/10.1016/0743-1066(92)90047-7},
  doi          = {10.1016/0743-1066(92)90047-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HsiangKLR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kirchner92,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {To Prof. Dr. Wolfgang Wechler},
  journal      = {Theor. Comput. Sci.},
  volume       = {105},
  number       = {1},
  pages        = {4--5},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90284-M},
  doi          = {10.1016/0304-3975(92)90284-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kirchner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KirchnerR92,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  editor       = {Krzysztof R. Apt},
  title        = {A Constraint Solver in Finite Algebras and Its Combination with Unification
                  Algorithms},
  booktitle    = {Logic Programming, Proceedings of the Joint International Conference
                  and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
                  USA, November 1992},
  pages        = {225--239},
  publisher    = {{MIT} Press},
  year         = {1992},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/KirchnerR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1992,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Giorgio Levi},
  title        = {Algebraic and Logic Programming, Third International Conference, Volterra,
                  Italy, September 2-4, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {632},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013814},
  doi          = {10.1007/BFB0013814},
  isbn         = {3-540-55873-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HermannKK91,
  author       = {Miki Hermann and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Implementations of Term Rewriting Systems},
  journal      = {Comput. J.},
  volume       = {34},
  number       = {1},
  pages        = {20--33},
  year         = {1991},
  url          = {https://doi.org/10.1093/comjnl/34.1.20},
  doi          = {10.1093/COMJNL/34.1.20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HermannKK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/KirchnerL91,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre Lescanne},
  title        = {Rewriting techniques and applications, RTA'91},
  journal      = {{SIGACT} News},
  volume       = {22},
  number       = {3},
  pages        = {24--30},
  year         = {1991},
  url          = {https://doi.org/10.1145/126537.126539},
  doi          = {10.1145/126537.126539},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/KirchnerL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kirchner91,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Ronald V. Book},
  title        = {Proofs in Parameterized Specification},
  booktitle    = {Rewriting Techniques and Applications, 4th International Conference,
                  RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {488},
  pages        = {174--187},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-53904-2\_95},
  doi          = {10.1007/3-540-53904-2\_95},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kirchner91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GnaedigKK90,
  author       = {Isabelle Gnaedig and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Equational Completion in Order-Sorted Algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {72},
  number       = {2{\&}3},
  pages        = {169--202},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90034-F},
  doi          = {10.1016/0304-3975(90)90034-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GnaedigKK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/KirchnerH90,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Miki Hermann},
  editor       = {St{\'{e}}phane Kaplan and
                  Mitsuhiro Okada},
  title        = {Meta-rule Synthesis from Crossed Rewrite Systems},
  booktitle    = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
                  Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {516},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54317-1\_87},
  doi          = {10.1007/3-540-54317-1\_87},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/KirchnerH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1990,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Wolfgang Wechler},
  title        = {Algebraic and Logic Programming, Second International Conference,
                  Nancy, France, October 1-3, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {463},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53162-9},
  doi          = {10.1007/3-540-53162-9},
  isbn         = {3-540-53162-9},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kirchner89,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Schematization of Infinite Sets of Rewrite Rules Generated by Divergent
                  Completion Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {67},
  number       = {2{\&}3},
  pages        = {303--332},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90007-8},
  doi          = {10.1016/0304-3975(89)90007-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kirchner89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KirchnerK89,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Gaston H. Gonnet},
  title        = {Constrained Equational Reasoning},
  booktitle    = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
                  and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
                  17-19, 1989},
  pages        = {382--389},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/74540.74585},
  doi          = {10.1145/74540.74585},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KirchnerK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/JouannaudKKM88,
  author       = {Jean{-}Pierre Jouannaud and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Aristide M{\'{e}}grelis},
  editor       = {Jan Grabowski and
                  Pierre Lescanne and
                  Wolfgang Wechler},
  title        = {{OBJ:} Programming with Equalities, Subsorts, Overloading and Parameterization},
  booktitle    = {Algebraic and Logic Programming, International Workshop, Gaussig,
                  GDR, November 14-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {343},
  pages        = {41--52},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50667-5\_57},
  doi          = {10.1007/3-540-50667-5\_57},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/JouannaudKKM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/GnaedigKK88,
  author       = {Isabelle Gnaedig and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Max Dauchet and
                  Maurice Nivat},
  title        = {Equational Completion in Order-Sorted Algebras (Extended Abstract)},
  booktitle    = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
                  France, March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {299},
  pages        = {165--184},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0026103},
  doi          = {10.1007/BFB0026103},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/GnaedigKK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KirchnerKM88,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Jos{\'{e}} Meseguer},
  editor       = {Timo Lepist{\"{o}} and
                  Arto Salomaa},
  title        = {Operational Semantics of {OBJ-3} (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, 15th International Colloquium,
                  ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {317},
  pages        = {287--301},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19488-6\_123},
  doi          = {10.1007/3-540-19488-6\_123},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/KirchnerKM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KirchnerK87,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {{REVEUR-3:} The Implementation of a General Completion Procedure Parameterized
                  by Built-in Theories and Strategies},
  journal      = {Sci. Comput. Program.},
  volume       = {8},
  number       = {1},
  pages        = {69--86},
  year         = {1987},
  url          = {https://doi.org/10.1016/0167-6423(87)90004-9},
  doi          = {10.1016/0167-6423(87)90004-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KirchnerK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/GoguenKKMMW87,
  author       = {Joseph A. Goguen and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Aristide M{\'{e}}grelis and
                  Jos{\'{e}} Meseguer and
                  Timothy C. Winkler},
  editor       = {St{\'{e}}phane Kaplan and
                  Jean{-}Pierre Jouannaud},
  title        = {An Introduction to {OBJ} 3},
  booktitle    = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay,
                  France, July 8-10, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {308},
  pages        = {258--263},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-19242-5\_22},
  doi          = {10.1007/3-540-19242-5\_22},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/GoguenKKMMW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kirchner87,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Pierre Lescanne},
  title        = {Schematization of Infinite Sets of Rewrite Rules. Application to the
                  Divergence of Completion Processes},
  booktitle    = {Rewriting Techniques and Applications, 2nd International Conference,
                  RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {256},
  pages        = {180--191},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17220-3\_16},
  doi          = {10.1007/3-540-17220-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kirchner87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/JouannaudK86,
  author       = {Jean{-}Pierre Jouannaud and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Completion of a Set of Rules Modulo a Set of Equations},
  journal      = {{SIAM} J. Comput.},
  volume       = {15},
  number       = {4},
  pages        = {1155--1194},
  year         = {1986},
  url          = {https://doi.org/10.1137/0215084},
  doi          = {10.1137/0215084},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/JouannaudK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KirchnerK85,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Bob F. Caviness},
  title        = {Implementation of a General Completion Procedure Parameterized by
                  Built-in Theories and Strategies},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {204},
  pages        = {402--404},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15984-3\_296},
  doi          = {10.1007/3-540-15984-3\_296},
  timestamp    = {Tue, 29 Aug 2023 20:47:14 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/KirchnerK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/RetyKKL85,
  author       = {Pierre R{\'{e}}ty and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre Lescanne},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {{NARROWER:} {A} New Algorithm for Unification and Its Application
                  to Logic Programming},
  booktitle    = {Rewriting Techniques and Applications, First International Conference,
                  RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {202},
  pages        = {141--157},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15976-2\_7},
  doi          = {10.1007/3-540-15976-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/RetyKKL85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/JouannaudK84,
  author       = {Jean{-}Pierre Jouannaud and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Construction D'un Plus Petit Odre de Simplification},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {18},
  number       = {3},
  pages        = {191--208},
  year         = {1984},
  url          = {https://doi.org/10.1051/ita/1984180301911},
  doi          = {10.1051/ITA/1984180301911},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/JouannaudK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kirchner84a,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Robert E. Shostak},
  title        = {A General Inductive Completion Algorithm and Application to Abstract
                  Data Types},
  booktitle    = {7th International Conference on Automated Deduction, Napa, California,
                  USA, May 14-16, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {170},
  pages        = {282--302},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-0-387-34768-4\_17},
  doi          = {10.1007/978-0-387-34768-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Kirchner84a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JouannaudK84,
  author       = {Jean{-}Pierre Jouannaud and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Ken Kennedy and
                  Mary S. Van Deusen and
                  Larry Landweber},
  title        = {Completion of a Set of Rules Modulo a Set of Equations},
  booktitle    = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Salt Lake City, Utah, USA, January 1984},
  pages        = {83--92},
  publisher    = {{ACM} Press},
  year         = {1984},
  url          = {https://doi.org/10.1145/800017.800519},
  doi          = {10.1145/800017.800519},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JouannaudK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JouannaudKK83,
  author       = {Jean{-}Pierre Jouannaud and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Josep D{\'{\i}}az},
  title        = {Incremental Construction of Unification Algorithms in Equational Theories},
  booktitle    = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
                  July 18-22, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {154},
  pages        = {361--373},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/BFb0036921},
  doi          = {10.1007/BFB0036921},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JouannaudKK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JouannaudKR83,
  author       = {Jean{-}Pierre Jouannaud and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Jean{-}Luc R{\'{e}}my},
  editor       = {Alan Bundy},
  title        = {Church-Rosser Properties of Weakly Terminating Term Rewriting Systems},
  booktitle    = {Proceedings of the 8th International Joint Conference on Artificial
                  Intelligence. Karlsruhe, FRG, August 1983},
  pages        = {909--915},
  publisher    = {William Kaufmann},
  year         = {1983},
  url          = {http://ijcai.org/Proceedings/83-2/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JouannaudKR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KirchnerKJ81,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Jean{-}Pierre Jouannaud},
  editor       = {Patrick J. Hayes},
  title        = {Algebraic Manipulations as a Unification and Matching Strategy for
                  Linear Equations in Signed Binary Trees},
  booktitle    = {Proceedings of the 7th International Joint Conference on Artificial
                  Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
  pages        = {1016--1023},
  publisher    = {William Kaufmann},
  year         = {1981},
  timestamp    = {Tue, 20 Aug 2019 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KirchnerKJ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics