@inbook {IOPORT.06046616,
    author       = {Klein, Dominik and Hirokawa, Nao},
    title        = {Confluence of non-left-linear TRSs via relative termination.},
    year         = {2012},
    booktitle    = {Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, M\'erida, Venezuela, March 11--15, 2012. Proceedings},
    isbn         = {978-3-642-28716-9},
    pages        = {258-273},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-28717-6_21},
    abstract     = {Summary: We present a confluence criterion for term rewrite systems by relaxing termination requirements of Knuth and Bendix' confluence criterion, using joinability of extended critical pairs. Because computation of extended critical pairs requires equational unification, which is undecidable, we give a sufficient condition for testing joinability automatically.},
    identifier   = {06046616},
}