Shortest Single Axioms for the Equivalential Calculus with CD and RCD.

Kahlil Hodgson Shortest Single Axioms for the Equivalential Calculus with CD and RCD. 283-316 1998 20 J. Autom. Reasoning 3 db/journals/jar/jar20.html#Hodgson98