@inproceedings(ABER11,
 author       = "M. Alpuente and D. Ballis and J. Espert and D. Romero",
 year         = "2011",
 title        = "{Backward Trace Slicing for Rewriting Logic Theories}",
 booktitle    = "The 23rd International Conference on Automated Deduction CADE 2011",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer-Verlag",
 note         = "To appear.",
)
@inproceedings(ABER10,
 author       = "M. Alpuente and D. Ballis and J. Espert and D.l Romero",
 year         = "2010",
 title        = "{Model-checking Web Applications with Web-TLR}",
 booktitle    = "8th Int'l Symp. on Automated Technology for Verification and Analysis ATVA 2010",
 series       = "Lecture Notes in Computer Science",
 volume       = "6252",
 publisher    = "Springer.Verlag",
 pages        = "341--346",
 url          = "http://dx.doi.org/10.1007/978-3-642-15643-4_25",
)
@inproceedings(ABR09,
 author       = "M. Alpuente and D. Ballis and D. Romero",
 year         = "2009",
 title        = "{Specification and Verification of Web Applications in Rewriting Logic}",
 booktitle    = "Formal Methods, Second World Congress FM 2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5850",
 publisher    = "Springer.Verlag",
 pages        = "790--805",
 url          = "http://dx.doi.org/10.1007/978-3-642-05089-3_50",
)
@article(ABER11tr,
 author       = "M. Alpuente and D. Ballis and J. Espert and D. Romero",
 year         = "2011",
 title        = "Dynamic Backward Slicing of Rewriting Logic Computations",
 journal      = "CoRR",
 volume       = "abs/1105.2665",
 url          = "http://arxiv.org/abs/1105.2665",
)
@inproceedings(BM08,
 author       = "K. Bae and J. Meseguer",
 year         = "2008",
 title        = "A {R}ewriting-{B}ased {M}odel {C}hecker for the {L}inear {T}emporal {L}ogic of {R}ewriting",
 booktitle    = "Proc. of the 9th International Workshop on Rule-Based Programming ({RULE}'08)",
 series       = "Electronic Notes in Theoretical Computer Science",
 publisher    = "Elsevier",
)
@techreport(maude-manual,
 author       = "M. Clavel and F. Dur\'an and S. Eker and P. Lincoln and N. Mart\'{\i }-Oliet and J. Meseguer and C. Talco",
 year         = "2009",
 title        = "{Maude Manual (Version 2.4)}",
 type         = "Technical Report",
 institution  = "{SRI International, Computer Science Laboratory}",
 note         = "Available at \url {http://maude.cs.uiuc.edu/maude2-manual/}",
)
@book(maude-book,
 author       = "M. Clavel and F. Dur\'{a}n and S. Eker and P. Lincoln and N. Mart\'{\i }-Oliet and J. Meseguer and C. Talcott",
 year         = "2007",
 title        = "All About Maude: A High-Performance Logical Framework",
 series       = "Lecture Notes in Computer Science",
 volume       = "4350",
 publisher    = "Springer-Verlag",
 url          = "http://dx.doi.org/10.1007/978-3-540-71999-1",
)
@inproceedings(EMS03,
 author       = "S. Eker and J. Meseguer and A. Sridharanarayanan",
 year         = "2003",
 title        = "The {Maude} {LTL} model checker and its implementation",
 booktitle    = "Model Checking Software: Proc. 10 th Intl. SPIN Workshop",
 series       = "Lecture Notes in Computer Science",
 volume       = "2648",
 publisher    = "Springer",
 pages        = "230--234",
 url          = "http://dx.doi.org/10.1007/3-540-44829-2_16",
)
@article(FT02,
 author       = "T. R. Fielding and R. N. Taylor",
 year         = "2002",
 title        = "Principled {D}esign of the {M}odern {W}eb {A}rchitecture",
 journal      = "ACM Transactions on Internet Technology",
 volume       = "2",
 number       = "2",
 pages        = "115--150",
)
@article(MM02,
 author       = "N. Mart{\'{\i }}-Oliet and J. Meseguer",
 year         = "2002",
 title        = "{R}ewriting {L}ogic: {R}oadmap and {B}ibliography",
 journal      = "Theoretical {C}omputer {S}cience",
 volume       = "285(2)",
 pages        = "121--154",
)
@inproceedings(Meseguer2008,
 author       = "J. Meseguer",
 year         = "2008",
 title        = "{The Temporal Logic of Rewriting: A Gentle Introduction}",
 booktitle    = "Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of his 65th Birthday",
 volume       = "5065",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "354--382",
 url          = "http://dx.doi.org/10.1007/978-3-540-68679-8_22",
)
@article(EMM06,
 author       = "J. Meseguer S. Escobar, C. Meadows",
 year         = "2006",
 title        = "A {R}ewriting-{B}ased {I}nference {S}ystem for the {NRL} {P}rotocol {A}nalyzer and its {M}eta-{L}ogical {P}roperties",
 journal      = "Theoretical {C}omputer {S}cience",
 volume       = "367(1-2)",
 pages        = "162--202",
 url          = "http://dx.doi.org/10.1016/j.tcs.2006.08.035",
)
@article(WNF2010,
 author       = "F. Weitl and S. Nakajima and B. Freitag",
 year         = "2010",
 title        = "{From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking)}",
 journal      = "it - Information Technology",
 volume       = "52",
 number       = "5",
 pages        = "295--297",
 url          = "http://dx.doi.org/10.1524/itit.2010.0606",
)