Bonacinaand Hsiang. Towards a Foundation of Completion Procedures as Semidecision Procedures. no. 1-2, Elsevier BV, 1995, doi:10.1016/0304-3975(94)00187-n.