Debora Weber-Wulff Proof Movie - A Proof with the Boyer-Moore Prover. 121-151 1993 5 Formal Asp. Comput. 2 db/journals/fac/fac5.html#Weber-Wulff93