Adel Bouhoula Florent Jacquemard Sufficient completeness verification for conditional and constrained TRS. 127-143 2012 10 J. Applied Logic 1 http://dx.doi.org/10.1016/j.jal.2011.09.001 db/journals/japll/japll10.html#BouhoulaJ12