@Book{RW10,
    Author       = "Russell, B. and Whitehead, A.",
    Year         = "1910",
    Title        = "{Principia Mathematica}",
    Publisher    = "Cambridge University Press",
    Address      = "Cambridge, United Kingdom",
    Comment      = "TPTPRef"
}