Equational completion in order-sorted algebras (1990)

by Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Venue:Theoretical Computer Science