Order-sorted completion: the many-sorted way (1991)

by Harald Ganzinger
Venue:Theoretical Computer Science