Iteration of Semiproper Forcing Revisited
  We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman. 
Boban Velickovic
math.LO