Saharon Shelah, Choiceless polynomial time (1999)

by Andreas Blass, Yuri Gurevich
Venue:Ann. Pure Appl. Logic