MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERSRonald FaginJonathan Lenchneret al.2025Logical Methods in Computer Science
A generalization of resource-bounded measure, with application to the BPP VS. EXP problemHarry BuhrmanDieter Van Melkebeeret al.2000SIAM Journal on Computing