1. Trees and amenable equivalence relations;Adams;Ergodic Theory Dynam. Systems,1990
2. Unary resolution: characterizing ptime;Aubert,2016
3. Characterizing co-NL by a group action;Aubert;Math. Structures Comput. Sci.,2016
4. Logarithmic space and permutations;Aubert;Inform. and Comput.,2016
5. Elementary complexity and geometry of interaction;Baillot;Fund. Inform.,2001