@Book{Ter03,
    Author       = "Terese",
    Year         = "2003",
    Title        = "{Term Rewriting Systems}",
    Series       = "Cambridge Tracts in Theoretical Computer Science",
    Number       = "55",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}