Albert Atserias Nicola Galesi Pavel Pudlák Monotone Simulations of Nonmonotone Proofs. 36-41 http://www.computer.org/proceedings/ccc/1053/10530036abs.htm 2001 IEEE Conference on Computational Complexity db/conf/coco/coco2001.html#AtseriasGP01