@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"
}