Choiceless Polynominal Time Computation and the Zero-One Law.

Andreas Blass, Yuri Gurevich

Browse the full CSL paper archive.