On Mechanizing Proofs within a Complete Proof System for <i>Unity</i>.

Naima Brown Abdelillah Mokkedem On Mechanizing Proofs within a Complete Proof System for <i>Unity</i>. 400-415 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#BrownM95