Multivariant non-failure analysis via standard abstract interpretation - Bueno, F; Lopez-Garcia, P; Hermenegildo, M; (Lecture Notes In Computer Science, 2004)