DBLP Record 'conf/xp/Graham80'

BibTeX

@inproceedings{DBLP:conf/xp/Graham80,
  author    = {Marc H. Graham},
  title     = {A New Proof that the Chase is a Church-Rosser Replacement
               System},
  booktitle = {XP1 Workshop on Database Theory},
  year      = {1980},
  crossref  = {DBLP:conf/xp/1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/xp/1980,
  editor    = {David Maier},
  title     = {XP1 Workshop on Relational Database Theory, 30 June - 2
               July 1980, SUNY at Stony Brook, NY, USA},
  booktitle = {XP1 Workshop on Database Theory},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}