Harald Ganzinger Order-Sorted Completion: The Many-Sorted Way. 3-32 1991 89 Theor. Comput. Sci. 1 db/journals/tcs/tcs89.html#Ganzinger91