Folding variant narrowing and optimal variant termination

Escobar Román Santiago, Sasse Ralf, José Meseguer

2012

The Journal of Logic and Algebraic Programming