Stanley Burris John Lawrence Unification in Commutative Rings is Not Finitary. 37-38 1990 36 Inf. Process. Lett. 1 db/journals/ipl/ipl36.html#BurrisL90