Delzanno, Giacobazzi, Ranzato, 2010. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-14309-0_7