@TechReport{AG01,
    Author       = "Arts, T. and Giesl, J.",
    Year         = "1991",
    Title        = "{A Collection of Examples for Termination of Term Rewriting Using Dependency
                    Pairs}",
    Number       = "AIB-2001-09",
    Institution  = "RWTH Aachen",
    Address      = "Aachen, Germany",
    Comment      = "TPTPRef"
}