Mohamed Hamada Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables. 2000 31 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs31.html#Hamada00 http://www.elsevier.nl/locate/entcs/volume31.html