Proof Transformation with Built-in Equality Predicate.

Christoph Lingenfelder, Axel Prcklein

Browse the full IJCAI paper archive.