@Article{PS81,
    Author       = "Peterson, G. and Stickel, M.E.",
    Year         = "1981",
    Title        = "{Complete Sets of Reductions for Some Equational
                    Theories}",
    Journal      = "Journal of the ACM",
    Volume       = "28",
    Number       = "8",
    Pages        = "233-264",
    Comment      = "TPTPRef"
}