Efficient Algorithms for Bounded Rigid E-unification.

Peter Backeman, Philipp Rmmer

Browse the full TABLEAUX paper archive.