@Article{FW01, Author = "Fitelson, B. and Wos, L.", Year = "2001", Title = "{Missing Proofs Found}", Journal = "Journal of Automated Reasoning", Volume = "27", Number = "2", Pages = "201-225", Comment = "TPTPRef" }