A Technique for Establishing Completeness Results in Theorem Proving with Equality.

Gerald E. Peterson

Browse the full AAAI paper archive.