@Article{YKS15,
    Author       = "Yamada, A. and Kusakari, K. and Sakabe, T.",
    Year         = "2015",
    Title        = "{A Unified Ordering for Termination Proving}",
    Journal      = "Science of Computer Programming",
    Volume       = "111",
    Number       = "1",
    Pages        = "110-134",
    Comment      = ""
}