Domenico Cantone Marianna Nicolosi Asmundo Eugenio G. Omodeo Global Skolemization with Grouped Quantifiers. 405-414 1997 conf/agp/1997 APPIA-GULP-PRODE db/conf/agp/agp1997.html#CantoneAO97