(untitled) - Rosati, O; Pelos, A; Temperini, A; Pace, V; Curini, M (Synthesis, 2016)