On the Number of Quantifiers Needed to Define Boolean FunctionsMarco CarmosinoRonald Faginet al.2024MFCS 2024
MULTI-STRUCTURAL GAMES AND BEYONDMarco CarmosinoRonald Faginet al.2024Logical Methods in Computer Science