Choiceless polynomial time, counting and the Cai–Fürer–Immerman graphs (2008)

by A Dawar, D Richerby, B Rossman
Venue:Annals of Pure and Applied Logic, 152(1–3):31 – 50