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