Monotonicity Constraints in Characterizations of PSPACE. - Ben-Amram, Amir M.; Loff, Bruno; Oitavem, Isabel (Journal of Logic & Computation, 2012)