CorradiniG98'

BibTeX

@inproceedings{DBLP:conf/fossacs/CorradiniG98,
  author    = {Andrea Corradini and
               Fabio Gadducci},
  title     = {Rational Term Rewriting},
  booktitle = {FoSSaCS},
  year      = {1998},
  pages     = {156-171},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1378/13780156.htm},
  crossref  = {DBLP:conf/fossacs/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fossacs/1998,
  editor    = {Maurice Nivat},
  title     = {Foundations of Software Science and Computation Structure,
               First International Conference, FoSSaCS'98, Held as Part
               of the European Joint Conferences on the Theory and Practice
               of Software, ETAPS'98, Lisbon, Portugal, March 28 - April
               4, 1998, Proceedings},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1378},
  year      = {1998},
  isbn      = {3-540-64300-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}