Stefano Baratella and Andrea Masini: A Way of Making World Quantification Explicit. (2004)journals/igpl/BaratellaM0410.1093/JIGPAL/12.3.199A Way of Making World Quantification Explicit.2Stefano Baratella1Andrea Masini2199-225Log. J. IGPLLog. J. IGPL1232004provenance information for RDF data of dblp record 'journals/igpl/BaratellaM04'2020-03-06T21:59:43+0100