@inproceedings(AndreiO:PORGY,
 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",
 year         = "2011",
 title        = "{PORGY}: Strategy-Driven Interactive Transformation of Graphs",
 editor       = "Rachid Echahed",
 booktitle    = "TERMGRAPH",
 series       = "EPTCS",
 volume       = "48",
 pages        = "54--68",
 url          = "http://dx.doi.org/10.4204/EPTCS.48.7",
)
@article(AndreiK-Termgraph09,
 author       = "Oana Andrei and H\'{e}l\`{e}ne Kirchner",
 year         = "2009",
 title        = "{A} {P}ort {G}raph {C}alculus for {A}utonomic {C}omputing and {I}nvariant {V}erification",
 journal      = "Electronic Notes In Theoretical Computer Science",
 volume       = "253",
 number       = "4",
 pages        = "17--38",
 doi          = "10.1016/j.entcs.2009.10.015",
)
@inproceedings(AndreiK08c,
 author       = "Oana Andrei and H{\'e}l{\`e}ne Kirchner",
 year         = "2009",
 title        = "A Higher-Order Graph Calculus for Autonomic Computing",
 editor       = "Marina Lipshteyn and Vadim E. Levit and Ross M. McConnell",
 booktitle    = "Graph Theory, Computational Intelligence and Thought",
 series       = "Lecture Notes in Computer Science",
 volume       = "5420",
 publisher    = "Springer",
 pages        = "15--26",
 url          = "http://dx.doi.org/10.1007/978-3-642-02029-2_2",
)
@article(Balland2012,
 author       = "Emilie Balland and Pierre-Etienne Moreau and Antoine Reilles",
 year         = "2012",
 title        = "Effective strategic programming for Java developers",
 journal      = "Software: Practice and Experience",
 doi          = "10.1002/spe.2159",
)
@article(borovansky02a,
 author       = "Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau",
 year         = "2002",
 title        = "{ELAN from a rewriting logic point of view}",
 journal      = "Theoretical Computer Science",
 volume       = "2",
 number       = "285",
 pages        = "155--185",
 doi          = "10.1016/S0304-3975(01)00358-9",
)
@inproceedings(BCDK-WRS09,
 author       = "Tony Bourdier and Horatiu Cirstea and Daniel J. Dougherty and H{\'e}l{\`e}ne Kirchner",
 year         = "2009",
 title        = "Extensional and Intensional Strategies",
 editor       = "Maribel Fern{\'a}ndez",
 booktitle    = "WRS",
 series       = "EPTCS",
 volume       = "15",
 pages        = "1--19",
 url          = "http://dx.doi.org/10.4204/EPTCS.15.1",
)
@article(rhoCalIGLP-I+II-2001,
 author       = "Horatiu Cirstea and Claude Kirchner",
 year         = "2001",
 title        = "The rewriting calculus --- {Part~I {\em and} II}",
 journal      = "Logic Journal of the Interest Group in Pure and Applied Logics",
 volume       = "9",
 number       = "3",
 pages        = "339--410",
 doi          = "10.1093/jigpal/9.3.339",
)
@proceedings(Maude07,
 editor       = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Carolyn L. Talcott",
 year         = "2007",
 title        = "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "4350",
 publisher    = "Springer",
)
@unpublished(Dougherty08,
 author       = "Daniel J.\ Dougherty",
 year         = "2008",
 title        = "Rewriting strategies and game strategies",
 note         = "Internal report",
)
@inproceedings(Giesl-Mid-inn-context-sens-2003,
 author       = "J. Giesl and A Middeldorp",
 year         = "2003",
 title        = "Innermost Termination of Context-Sensitive Rewriting",
 booktitle    = "Proceedings of the 6th International Conference on Developments in Language Theory (DLT 2002)",
 series       = "LNCS",
 volume       = "2450",
 publisher    = "Springer",
 address      = "Kyoto, Japan",
 pages        = "231--244",
 doi          = "10.1007/3-540-45005-X\_20",
)
@article(Giesl2011,
 author       = "J\"{u}rgen Giesl and Matthias Raffelsieper and Peter Schneider-Kamp and Stephan Swiderski and Ren{\'e} Thiemann",
 year         = "2011",
 title        = "Automated termination proofs for Haskell by term rewriting",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "33",
 number       = "2",
 pages        = "7:1--7:39",
 doi          = "10.1145/1890028.1890030",
)
@article(GK-TOCL09,
 author       = "Isabelle Gnaedig and H\'{e}l\`{e}ne Kirchner",
 year         = "2009",
 title        = "Termination of rewriting under strategies",
 journal      = "ACM Trans. Comput. Logic",
 volume       = "10",
 number       = "2",
 pages        = "1--52",
 doi          = "10.1145/1462179.1462182",
)
@proceedings(dagstuhl2001,
 editor       = "Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke",
 year         = "2002",
 title        = "Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]",
 series       = "Lecture Notes in Computer Science",
 volume       = "2500",
 publisher    = "Springer",
)
@book(Kechris95,
 author       = "Alexander S. Kechris",
 year         = "1995",
 title        = "Classical Descriptive Set Theory",
 series       = "Graduate Texts in Mathematics",
 volume       = "156",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-4190-4",
)
@incollection(KKK08,
 author       = "Claude Kirchner and Florent Kirchner and H{\'e}l{\`e}ne Kirchner",
 year         = "2008",
 title        = "Strategic Computations and Deductions",
 editor       = "Christoph Benzm\"uller and Chad E. Brown and J\"org Siekmann and Richard Statman",
 booktitle    = "Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "17",
 publisher    = "College Publications",
 pages        = "339--364",
)
@inproceedings(KKK-wfpl09,
 author       = "Claude Kirchner and Florent Kirchner and H{\'e}l{\`e}ne Kirchner",
 year         = "2010",
 title        = "Constraint Based Strategies",
 booktitle    = "Proceedings 18th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), Brasilia",
 series       = "LNCS",
 volume       = "5979",
 pages        = "13--26",
 doi          = "10.1007/978-3-642-11999-6\_2",
)
@article(marti-oliet00,
 author       = "Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer",
 year         = "1996",
 title        = "Rewriting logic as a logical and semantic framework",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "4",
 pages        = "190--225",
 url          = "http://dx.doi.org/10.1016/S1571-0661(04)00040-4",
)
@article(Marti-OlietN:WRLA08,
 author       = "Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Alberto Verdejo",
 year         = "2008",
 title        = "A rewriting semantics for {Maude} strategies",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "238",
 number       = "3",
 pages        = "227--247",
 doi          = "10.1016/j.entcs.2009.05.022",
)
@inbook(TereseStrategies2003,
 author       = "Vincent van Oostrom and Roel de Vrijer",
 year         = "2003",
 title        = "Term Rewriting Systems",
 chapter      = "9: Strategies",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "2",
 publisher    = "Cambridge University Press",
)
@inproceedings(Walukiewicz04,
 author       = "Igor Walukiewicz",
 year         = "2004",
 title        = "A Landscape with Games in the Background",
 booktitle    = "19th IEEE Symposium on Logic in Computer Science (LICS 2004)",
 pages        = "356--366",
 doi          = "10.1109/LICS.2004.1319630",
)