A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. - GUELEV, DIMITAR P. (Journal of Logic & Computation, 2008)