A dependency pair framework for A∨C-termination (2010)

by B Alarcón, S Lucas, J Meseguer
Venue:Proceedings of the 8th International Workshop on Rewriting Logic and its Applications (WRLA'10), LNCS 6381