CEC: A System for the Completion of Conditional Equational Specifications.

Hubert Bertling, Harald Ganzinger, Renate Schfers

Browse the full ESOP paper archive.