@Article{Wos95, Author = "Wos, L.", Year = "1995", Title = "{Searching for Circles of Pure Proofs}", Journal = "Journal of Automated Reasoning", Volume = "15", Number = "3", Pages = "279-315", Comment = "TPTPRef" }