Choiceless polynomial time. (1999)

by A Blass, Y Gurevich, S Shelah
Venue:Annals of Pure and Applied Logic,