Title: Relating the PSPACE reasoning power of boolean programs and quantified boolean formulas