"An Experiment with the Boyer-Moore Theorem Prover: A Proof of the ..."

Paul Y. Gloess (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics