DBLP Record 'conf/adt/OrejasSNNP88'

BibTeX

@inproceedings{DBLP:conf/adt/OrejasSNNP88,
  author    = {Fernando Orejas and
               Ana S{\'a}nchez and
               Marisa Navarro and
               Pilar Nivela and
               Ricardo Pena},
  title     = {Term Rewriting Methods for Partial Specifications},
  booktitle = {ADT},
  year      = {1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}