MULTI-STRUCTURAL GAMES AND BEYONDMarco CarmosinoRonald Faginet al.2024Logical Methods in Computer Science
Composition with target constraintsMarcelo ArenasRonald Faginet al.2011Logical Methods in Computer Science