Stefano Aguzzoli Brunella Gerla Vincenzo Marra 183-193 2008 155 Ann. Pure Appl. Logic 3 http://dx.doi.org/10.1016/j.apal.2008.04.003 db/journals/apal/apal155.html#AguzzoliGM08