@Article{ML92, Author = "McCune, W.W. and Lusk, E.", Year = "1992", Title = "{A Challenging Theorem of Levi}", Journal = "AAR Newsletter", Volume = "21", Pages = "8", Comment = "TPTPRef" }