@inproceedings(AntoyH06Extra,
 author       = "Sergio Antoy and Michael Hanus",
 year         = "2006",
 title        = "Overlapping Rules and Logic Variables in Functional Logic Programs",
 editor       = "Sandro Etalle and Miroslaw Truszczynski",
 booktitle    = "Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4079",
 publisher    = "Springer",
 pages        = "87--101",
 doi          = "10.1007/11799573\_9",
)
@book(baader-nipkow,
 author       = "Franz Baader and Tobias Nipkow",
 year         = "1998",
 title        = "Term rewriting and all that",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9781139172752",
)
@incollection(BaaderS01UnifTheory,
 author       = "Franz Baader and Wayne Snyder",
 year         = "2001",
 title        = "Unification Theory",
 editor       = "John Alan Robinson and Andrei Voronkov",
 booktitle    = "Handbook of Automated Reasoning (in 2 volumes)",
 publisher    = "Elsevier and {MIT} Press",
 pages        = "445--532",
 doi          = "10.1016/B978-044450813-3/50010-2",
)
@article(BouhoulaJouannaudMeseguer00,
 author       = "Adel Bouhoula and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer",
 year         = "2000",
 title        = "Specification and proof in membership equational logic",
 journal      = "Theoretical Computer Science",
 volume       = "236",
 number       = "1-2",
 pages        = "35--132",
 doi          = "10.1016/S0304-3975(99)00206-6",
)
@inproceedings(BrasselHPR11KicsDos,
 author       = "Bernd Bra{\ss }el and Michael Hanus and Bj{\"{o}}rn Peem{\"{o}}ller and Fabian Reck",
 year         = "2011",
 title        = "KiCS2: {A} New Compiler from Curry to Haskell",
 editor       = "Herbert Kuchen",
 booktitle    = "Functional and Constraint Logic Programming - 20th International Workshop, {WFLP} 2011, Odense, Denmark, July 19th, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "6816",
 publisher    = "Springer",
 pages        = "1--18",
 doi          = "10.1007/978-3-642-22531-4\_1",
)
@proceedings(maude-book,
 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",
 doi          = "10.1007/978-3-540-71999-1",
)
@article(ClavelMeseguerPalomino07,
 author       = "Manuel Clavel and Jos{\'{e}} Meseguer and Miguel Palomino",
 year         = "2007",
 title        = "Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "373",
 number       = "1-2",
 pages        = "70--91",
 doi          = "10.1016/j.tcs.2006.12.009",
)
@article(DiosLopez07,
 author       = "Javier de Dios Castro and Francisco Javier L{\'{o}}pez{-}Fraguas",
 year         = "2007",
 title        = "Extra Variables Can Be Eliminated from Functional Logic Programs",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "188",
 pages        = "3--19",
 doi          = "10.1016/j.entcs.2006.05.049",
)
@inproceedings(DBLP:conf/rta/DuranEEMT11,
 author       = "Francisco Dur{\'{a}}n and Steven Eker and Santiago Escobar and Jos{\'{e}} Meseguer and Carolyn L. Talcott",
 year         = "2011",
 title        = "Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6",
 editor       = "Manfred Schmidt{-}Schau{\ss }",
 booktitle    = "Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia",
 series       = "LIPIcs",
 volume       = "10",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "31--40",
 doi          = "10.4230/LIPIcs.RTA.2011.31",
)
@inproceedings(escobar04,
 author       = "Santiago Escobar",
 year         = "2004",
 title        = "Implementing Natural Rewriting and Narrowing Efficiently",
 editor       = "Yukiyoshi Kameyama and Peter J. Stuckey",
 booktitle    = "Functional and Logic Programming, 7th International Symposium, {FLOPS} 2004, Nara, Japan, April 7-9, 2004, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "2998",
 publisher    = "Springer",
 pages        = "147--162",
 doi          = "10.1007/978-3-540-24754-8\_12",
)
@techreport(Han05TR,
 author       = "Michael Hanus",
 year         = "2005",
 title        = "Functional Logic Programming: From Theory to {C}urry",
 type         = "Technical Report",
 institution  = "Christian-Albrechts-Universit\"at Kiel",
)
@inproceedings(Hullot80,
 author       = "Jean{-}Marie Hullot",
 year         = "1980",
 title        = "Canonical Forms and Unification",
 editor       = "Wolfgang Bibel and Robert A. Kowalski",
 booktitle    = "5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "87",
 publisher    = "Springer",
 pages        = "318--334",
 doi          = "10.1007/3-540-10009-1\_25",
)
@misc(hussmann93,
 author       = "H. Hussmann",
 year         = "1993",
 title        = "Non-Determinism in Algebraic Specifications and Algebraic Programs",
 howpublished = "Birkh\"auser Verlag",
)
@techreport(LRS09ReportFully,
 author       = "F. {L{\'o}pez-Fraguas} and J. {Rodr\'{\i }guez-Hortal{\'a}} and J. {S{\'a}nchez-Hern{\'a}ndez}",
 year         = "2009",
 title        = "A {F}ully {A}bstract {S}emantics for {C}onstructor {S}ystems ({E}xtended version)",
 type         = "Technical Report",
 number       = "SIC-2-09",
 institution  = "Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n, Universidad Complutense de Madrid",
)
@inproceedings(Lopez-FraguasRS09-RTA09,
 author       = "Francisco Javier L{\'{o}}pez{-}Fraguas and Juan Rodr{\'{\i }}guez{-}Hortal{\'{a}} and Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez",
 year         = "2009",
 title        = "A Fully Abstract Semantics for Constructor Systems",
 editor       = "Ralf Treinen",
 booktitle    = "Rewriting Techniques and Applications, 20th International Conference, {RTA} 2009, Bras{\'{\i }}lia, Brazil, June 29 - July 1, 2009, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "5595",
 publisher    = "Springer",
 pages        = "320--334",
 doi          = "10.1007/978-3-642-02348-4\_23",
)
@article(Meseguer92-tcs,
 author       = "Jos{\'{e}} Meseguer",
 year         = "1992",
 title        = "Conditioned Rewriting Logic as a Unified Model of Concurrency",
 journal      = "Theor. Comput. Sci.",
 volume       = "96",
 number       = "1",
 pages        = "73--155",
 doi          = "10.1016/0304-3975(92)90182-F",
)
@article(semanticsProject,
 author       = "Jos{\'{e}} Meseguer and Grigore Rosu",
 year         = "2007",
 title        = "The rewriting logic semantics project",
 journal      = "Theor. Comput. Sci.",
 volume       = "373",
 number       = "3",
 pages        = "213--237",
 doi          = "10.1016/j.tcs.2006.12.018",
)
@article(MeseguerT07Reach,
 author       = "Jos{\'{e}} Meseguer and Prasanna Thati",
 year         = "2007",
 title        = "Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "20",
 number       = "1-2",
 pages        = "123--160",
 doi          = "10.1007/s10990-007-9000-6",
)
@article(DBLP:journals/aaecc/MiddeldorpH94,
 author       = "Aart Middeldorp and Erik Hamoen",
 year         = "1994",
 title        = "Completeness Results for Basic Narrowing",
 journal      = "Appl. Algebra Eng. Commun. Comput.",
 volume       = "5",
 pages        = "213--253",
 doi          = "10.1007/BF01190830",
)
@article(GHLR99,
 author       = "Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i }}guez{-}Artalejo",
 year         = "1999",
 title        = "An Approach to Declarative Programming Based on a Rewriting Logic",
 journal      = "J. Log. Program.",
 volume       = "40",
 number       = "1",
 pages        = "47--87",
 doi          = "10.1016/S0743-1066(98)10029-8",
)
@techreport(generatorsProofs,
 author       = "A. Riesco and J. {Rodr\'{\i }guez-Hortal{\'a}}",
 year         = "2012",
 title        = "Generators: Detailed proofs",
 type         = "Technical Report",
 number       = "07/12",
 institution  = "Departamento de Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid",
 note         = "Available at \url {http://gpd.sip.ucm.es/snarrowing}",
)
@inproceedings(sNarrICTAC12,
 author       = "Adri{\'{a}}n Riesco and Juan Rodr{\'{\i }}guez{-}Hortal{\'{a}}",
 year         = "2012",
 title        = "S-Narrowing for Constructor Systems",
 editor       = "Abhik Roychoudhury and Meenakshi D'Souza",
 booktitle    = "Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "7521",
 publisher    = "Springer",
 pages        = "136--150",
 doi          = "10.1007/978-3-642-32943-2\_10",
)
@inproceedings(rodH08,
 author       = "Juan Rodr{\'{\i }}guez{-}Hortal{\'{a}}",
 year         = "2008",
 title        = "A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems",
 editor       = "Ramesh Hariharan and Madhavan Mukund and V. Vinay",
 booktitle    = "{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008, Bangalore, India",
 series       = "LIPIcs",
 volume       = "2",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "328--339",
 doi          = "10.4230/LIPIcs.FSTTCS.2008.1764",
)
@book(SterlingShapiro86,
 author       = "L. Sterling and E. Shapiro",
 year         = "1986",
 title        = "The Art of {P}rolog",
 publisher    = "MIT Press",
 doi          = "10.1109/MEX.1987.4307074",
)