Theorem Proving Using Rigid E-Unification Equational Matings

Logic in Computer Science · 1987 · 52 citations · 0 references