Marc H. Graham. A New Proof that the Chase is a Church-Rosser Replacement System. In David Maier, editor, XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA. 1980.
@inproceedings{Graham80:0,
title = {A New Proof that the Chase is a Church-Rosser Replacement System},
author = {Marc H. Graham},
year = {1980},
researchr = {https://researchr.org/publication/Graham80%3A0},
cites = {0},
citedby = {0},
booktitle = {XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA},
editor = {David Maier},
}