@Book{BN99,
    Author       = "Baader, F. and Nipkow, T.",
    Year         = "1999",
    Title        = "{Term Rewriting and All That}",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}