BibTeX record conf/lopstr/CaballeroRVM11

download as .bib file

@inproceedings{DBLP:conf/lopstr/CaballeroRVM11,
  author    = {Rafael Caballero and
               Adri{\'{a}}n Riesco and
               Alberto Verdejo and
               Narciso Mart{\'{\i}}{-}Oliet},
  title     = {Simplifying Questions in Maude Declarative Debugger by Transforming
               Proof Trees},
  booktitle = {{LOPSTR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  pages     = {73--89},
  publisher = {Springer},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics