@inproceedings{ClavelDELMMT07l,
  title = {Metaprogramming Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_15},
  researchr = {https://researchr.org/publication/ClavelDELMMT07l},
  cites = {0},
  citedby = {0},
  pages = {459-483},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07i,
  title = {Model Checking Invariants Through Search},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_12},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_12},
  tags = {model checking, meta-model, Meta-Environment, search},
  researchr = {https://researchr.org/publication/ClavelDELMMT07i},
  cites = {0},
  citedby = {0},
  pages = {373-384},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07j,
  title = {LTL Model Checking},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_13},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_13},
  tags = {model checking, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDELMMT07j},
  cites = {0},
  citedby = {0},
  pages = {385-418},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07c,
  title = {Functional Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_4},
  researchr = {https://researchr.org/publication/ClavelDELMMT07c},
  cites = {0},
  citedby = {0},
  pages = {61-118},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07n,
  title = {Full Maude: Extending Core Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_18},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_18},
  researchr = {https://researchr.org/publication/ClavelDELMMT07n},
  cites = {0},
  citedby = {0},
  pages = {559-597},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@article{DenkerTRBES07,
  title = {Rewriting Logic Systems},
  author = {Grit Denker and Carolyn L. Talcott and Grigore Rosu and Mark G. J. van den Brand and Steven Eker and Traian-Florin Serbanuta},
  year = {2007},
  doi = {10.1016/j.entcs.2007.06.018},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.06.018},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/DenkerTRBES07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {176},
  number = {4},
  pages = {233-247},
}

@inproceedings{ClavelDELMMTRV07,
  title = {Mobile Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Adrián Riesco and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_16},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_16},
  tags = {mobile},
  researchr = {https://researchr.org/publication/ClavelDELMMTRV07},
  cites = {0},
  citedby = {0},
  pages = {485-522},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@article{ClavelDELMMQ02,
  title = {Maude: specification and programming in rewriting logic},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00359-0},
  url = {http://dx.doi.org/10.1016/S0304-3975(01)00359-0},
  tags = {graph-rewriting, logic programming, programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/ClavelDELMMQ02},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {285},
  number = {2},
  pages = {187-243},
}

@article{EkerMS02,
  title = {The Maude LTL Model Checker},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2002},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#010},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/EkerMS02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {71},
  pages = {162-187},
}

@inproceedings{Eker03,
  title = {Associative-Commutative Rewriting on Large Terms},
  author = {Steven Eker},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2706/27060014.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Eker03},
  cites = {0},
  citedby = {0},
  pages = {14-29},
  booktitle = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  editor = {Robert Nieuwenhuis},
  volume = {2706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40254-3},
}

@article{Eker02,
  title = {Single Elementary Associative-Commutative Matching},
  author = {Steven Eker},
  year = {2002},
  researchr = {https://researchr.org/publication/Eker02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {28},
  number = {1},
  pages = {35-51},
}

@article{ClavelDELMM98,
  title = {Metalevel computation in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003},
  researchr = {https://researchr.org/publication/ClavelDELMM98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {331-352},
}

@inproceedings{ClavelDELMMT07s,
  title = {Core Maude Grammar},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_24},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_24},
  tags = {grammar},
  researchr = {https://researchr.org/publication/ClavelDELMMT07s},
  cites = {0},
  citedby = {0},
  pages = {751-756},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@article{DuranRBBEKKMSV09,
  title = {The Second Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Emilie  Balland and Mark G. J. van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.025},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.025},
  tags = {rewrite engine, SDF, term rewriting, graph-rewriting, C++, logic, rewriting logic, rewriting, rewriting strategies, ASF+SDF, Stratego},
  researchr = {https://researchr.org/publication/DuranRBBEKKMSV09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {3},
  pages = {281-291},
}

@article{EkerMMV07,
  title = {Deduction, Strategies, and Rewriting},
  author = {Steven Eker and Narciso Martí-Oliet and José Meseguer and Alberto Verdejo},
  year = {2007},
  doi = {10.1016/j.entcs.2006.03.017},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.03.017},
  tags = {graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/EkerMMV07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {174},
  number = {11},
  pages = {3-25},
}

@inproceedings{ClavelDELMMT07k,
  title = {Reflection, Metalevel Computation, and Strategies},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_14},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_14},
  tags = {computational reflection, reflection},
  researchr = {https://researchr.org/publication/ClavelDELMMT07k},
  cites = {0},
  citedby = {0},
  pages = {419-458},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{TalcottEKLL04,
  title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
  author = {Carolyn L. Talcott and Steven Eker and Merrill Knapp and Patrick Lincoln and Keith Laderoute},
  year = {2004},
  url = {http://helix-web.stanford.edu/psb04/talcott.pdf},
  tags = {modeling, logic},
  researchr = {https://researchr.org/publication/TalcottEKLL04},
  cites = {0},
  citedby = {0},
  pages = {568-580},
  booktitle = {Biocomputing 2004, Proceedings of the Pacific Symposium, Hawaii, USA, 6-10 January 2004},
  editor = {Russ B. Altman and A. Keith Dunker and Lawrence Hunter and Tiffany A. Jung and Teri E. Klein},
  publisher = {World Scientific},
  isbn = {981-238-598-3},
}

@inproceedings{KnappBELPTL05,
  title = {Pathway Logic Helping Biologists Understand and Organize Pathway Information},
  author = {Merrill Knapp and Linda Briesemeister and Steven Eker and Patrick Lincoln and Andy Poggio and Carolyn L. Talcott and Keith Laderoute},
  year = {2005},
  doi = {10.1109/CSBW.2005.103},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSBW.2005.103},
  tags = {logic},
  researchr = {https://researchr.org/publication/KnappBELPTL05},
  cites = {0},
  citedby = {0},
  pages = {155-156},
  booktitle = {Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts (CSB 2005 Workshops), 8-11 August 2005, Stanford, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2442-7},
}

@inproceedings{ClavelDELMMQ99,
  title = {The Maude System},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm},
  researchr = {https://researchr.org/publication/ClavelDELMMQ99},
  cites = {0},
  citedby = {0},
  pages = {240-243},
  booktitle = {Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  editor = {Paliath Narendran and Michaël Rusinowitch},
  volume = {1631},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66201-4},
}

@inproceedings{DuranELM00,
  title = {Principles of Mobile Maude},
  author = {Francisco Durán and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2000},
  tags = {principles, mobile},
  researchr = {https://researchr.org/publication/DuranELM00},
  cites = {0},
  citedby = {0},
  pages = {73-85},
  booktitle = {Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürch, Switzerland, September 13-15, 2000, Proceedings},
  editor = {David Kotz and Friedemann Mattern},
  volume = {1882},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41052-X},
}

@inproceedings{ClavelDEMS99,
  title = {Maude as a Formal Meta-tool},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and José Meseguer and Mark-Oliver Stehr},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDEMS99},
  cites = {0},
  citedby = {0},
  pages = {1684-1703},
  booktitle = {FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II},
  editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
  volume = {1709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66588-9},
}

@inproceedings{RosuELM03,
  title = {Certifying and Synthesizing Membership Equational Proofs},
  author = {Grigore Rosu and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359},
  tags = {equational proofs},
  researchr = {https://researchr.org/publication/RosuELM03},
  cites = {0},
  citedby = {0},
  pages = {359-380},
  booktitle = {FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  editor = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli},
  volume = {2805},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40828-2},
}

@inproceedings{ClavelDELMMT07m,
  title = {User Interfaces and Metalanguage Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_17},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_17},
  researchr = {https://researchr.org/publication/ClavelDELMMT07m},
  cites = {0},
  citedby = {0},
  pages = {523-555},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{EkerMS03,
  title = {The Maude LTL Model Checker and Its Implementation},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm},
  researchr = {https://researchr.org/publication/EkerMS03},
  cites = {0},
  citedby = {0},
  pages = {230-234},
  booktitle = {Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings},
  editor = {Thomas Ball and Sriram K. Rajamani},
  volume = {2648},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40117-2},
}

@inproceedings{ClavelDELMMT07a,
  title = {Using Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_2},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_2},
  researchr = {https://researchr.org/publication/ClavelDELMMT07a},
  cites = {0},
  citedby = {0},
  pages = {31-37},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@article{EkerKLLT02,
  title = {Pathway Logic: Executable Models of Biological Networks},
  author = {Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and Carolyn L. Talcott},
  year = {2002},
  doi = {10.1016/S1571-0661(05)82533-2},
  url = {http://dx.doi.org/10.1016/S1571-0661(05)82533-2},
  tags = {logic},
  researchr = {https://researchr.org/publication/EkerKLLT02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {71},
  pages = {144-161},
}

@inproceedings{ClavelDELMMT07b,
  title = {Syntax and Basic Parsing},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_3},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_3},
  tags = {parsing},
  researchr = {https://researchr.org/publication/ClavelDELMMT07b},
  cites = {0},
  citedby = {0},
  pages = {39-59},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07h,
  title = {Object-Based Programming},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_11},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_11},
  tags = {object-oriented programming, rule-based, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDELMMT07h},
  cites = {0},
  citedby = {0},
  pages = {339-372},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@article{Eker98,
  title = {Term rewriting with operator evaluation strategies},
  author = {Steven Eker},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#005},
  tags = {term rewriting, graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/Eker98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {311-330},
}

@inproceedings{ClavelDELMMT07d,
  title = {A Hierarchy of Data Types: From Trees to Sets},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_5},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_5},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClavelDELMMT07d},
  cites = {0},
  citedby = {0},
  pages = {119-129},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDELMMT07r,
  title = {Complete List of Maude Commands},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_23},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_23},
  tags = {completeness},
  researchr = {https://researchr.org/publication/ClavelDELMMT07r},
  cites = {0},
  citedby = {0},
  pages = {737-749},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{TalcottEKLL03,
  title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
  author = {Carolyn L. Talcott and Steven Eker and Merrill Knapp and Patrick Lincoln and Keith Laderoute},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/csb/2003/2000/00/20000618.pdf},
  tags = {modeling, logic},
  researchr = {https://researchr.org/publication/TalcottEKLL03},
  cites = {0},
  citedby = {0},
  pages = {618-619},
  booktitle = {2nd IEEE Computer Society Bioinformatics Conference (CSB 2003), 11-14 August 2003, Stanford, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2000-6},
}

@inproceedings{ClavelDELMMTPV07a,
  title = {Specifying Parameterized Data Structures in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_10},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_10},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClavelDELMMTPV07a},
  cites = {0},
  citedby = {0},
  pages = {307-338},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{ClavelDEELMMT09,
  title = {Unification and Narrowing in Maude 2.4},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Santiago Escobar and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2009},
  doi = {10.1007/978-3-642-02348-4_27},
  url = {http://dx.doi.org/10.1007/978-3-642-02348-4_27},
  researchr = {https://researchr.org/publication/ClavelDEELMMT09},
  cites = {0},
  citedby = {0},
  pages = {380-390},
  booktitle = {Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings},
  editor = {Ralf Treinen},
  volume = {5595},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02347-7},
}

@article{ClavelDELMMQ00:0,
  title = {Towards Maude 2.0},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019},
  researchr = {https://researchr.org/publication/ClavelDELMMQ00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {36},
  pages = {294-315},
}

@article{Eker96,
  title = {Fast matching in combinations of regular equational theories},
  author = {Steven Eker},
  year = {1996},
  url = {http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#007},
  researchr = {https://researchr.org/publication/Eker96},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {4},
  pages = {90-109},
}

@inproceedings{ClavelDELMMT07p,
  title = {A Sampler of Application Areas},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_20},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_20},
  researchr = {https://researchr.org/publication/ClavelDELMMT07p},
  cites = {0},
  citedby = {0},
  pages = {645-665},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}

@inproceedings{DuranRBBBCEEJK10,
  title = {The Third Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Jean-Christophe Bach and Emilie  Balland and Mark G. J. van den Brand and James R.  Cordy and Steven Eker and Luc Engelen and Maartje  de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_16},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/DuranRBBBCEEJK10},
  cites = {0},
  citedby = {0},
  pages = {243-261},
  booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers},
  editor = {Peter Csaba Ölveczky},
  volume = {6381},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16309-8},
}
@proceedings{maude:2007,
  title = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  year = {2007},
  tags = {program verification, graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/maude%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  conference = {maude},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}