@Article{Wos10, Author = "Wos, L.", Year = "2010", Title = "{Deriving a Complex Formula from Simple Axioms}", Journal = "AAR Newsletter", Volume = "088-2010-06", Comment = "TPTPRef" }