Marc H. Graham A New Proof that the Chase is a Church-Rosser Replacement System. 1980 conf/xp/1980 XP1 Workshop on Database Theory db/conf/xp/xp1980.html#Graham80