R. Göbel
-
A strong restriction of the inductive completion procedure
Journal of Symbolic Computation
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)