Morteza Moniri An Independence Result for Intuitionistic Bounded Arithmetic. 199-204 2006 16 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi085 db/journals/logcom/logcom16.html#Moniri06