with Cicalese, F. , Mundici, D. , 2001, Rota-metropolis cubic logic and Ulam-Rényi games, in H. Crapo & D. Senato (eds.), Algebraic combinatorics and computer science, Dordrecht, Springer, pp. 197-244.