Theorem Proving Using Rigid E-Unification Equational Matings

Jean H. Gallier, Stan Raatz, Wayne Snyder

Browse the full LICS paper archive.