@Article{LM93, Author = "Lusk, E.L. and McCune, W.W.", Year = "1993", Title = "{Uniform Strategies: The CADE-11 Theorem Proving Contest}", Journal = "Journal of Automated Reasoning", Volume = "11", Number = "3", Pages = "317-331", Comment = "TPTPRef" }