CEC (Conditional Equations Completion).

Hubert Bertling, Harald Ganzinger, Hubert Baumeister

Browse the full STACS paper archive.