Elimination of Equality via Transformation with Ordering Constraints

Leo Bachmair, Harald Ganzinger, Andrei Voronkov, Claude Kirchner (Editor), Hélène Kirchner (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this