Folding variant narrowing and optimal variant termination | Publicación