Theorem Proving with Bounded Rigid E-Unification.

Peter Backeman, Philipp Rmmer

Browse the full CADE paper archive.