@Article{WW+83, Author = "Wos, L. and Winker, S. and Veroff, R. and Smith, B. and Henschen, L.", Year = "1983", Title = "{Questions Concerning Possible Shortest Single Axioms in Equivalential Calculus: An Application of Automated Theorem Proving to infinite Domains}", Journal = "Notre Dame Journal of Formnal Logic", Volume = "24", Number = "2", Pages = "205-223", Comment = "TPTPRef" }