Alessandra Carbone 139-149 2009 161 Ann. Pure Appl. Log. 2 https://doi.org/10.1016/j.apal.2009.05.007 https://www.wikidata.org/entity/Q57253053 db/journals/apal/apal161.html#Carbone09