Authors: K.Hodgson

Citation: K.hodgson, Shortest Single Axioms for the equivalential Calculus with CD and RCD, Journal of automated reasoning , 20(3), 1998, pp. 283-316