Saharon Shelah Choiceless Polynominal Time Logic: Inability to Express. 72-125 http://link.springer.de/link/service/series/0558/bibs/1862/18620072.htm 2000 conf/csl/2000 CSL db/conf/csl/csl2000.html#Shelah00