Folding variant narrowing and optimal variant termination.

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases