@Article{Ove93, Author = "Overbeek, R.", Year = "1993", Title = "{The CADE-11 Competitions: A Personal View}", Journal = "Journal of Automated Reasoning", Volume = "11", Number = "3", Pages = "315-316", Comment = "TPTPRef" }