Michael Siegel Frank A. Stomp Extending the Limits of Sequentially Phased Reasoning. 402-413 1994 conf/fsttcs/1994 FSTTCS db/conf/fsttcs/fsttcs94.html#SiegelS94 http://dx.doi.org/10.1007/3-540-58715-2_141