Amir M. Ben-Amram Bruno Loff Isabel Oitavem Monotonicity Constraints in Characterizations of PSPACE. 179-195 2012 22 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exq002 db/journals/logcom/logcom22.html#Ben-AmramLO12