Marc H. Graham: A New Proof that the Chase is a Church-Rosser Replacement System. XP1 Workshop on Database Theory 1980