@Book{Wie06, Author = "Wiedijk, F.", Year = "2006", Title = "{The Seventeen Provers of the World}", Series = "Lecture Notes in Computer Science", Number = "3600", Publisher = "Springer-Verlag", Comment = "TPTPRef" }