A case study of the completion procedure: Proving ring commutativity problems (1991)

by D Kapur, H Zhang
Venue:Computational Logic: Essays in Honor of Alan Robinson, chapter 10