Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus.

John A. Kalman, J. G. Peterson

Browse the full IJCAI paper archive.