Luís Fernando Castro Terrance Swift David Scott Warren Suspending and Resuming Computations in Engines for SLG Evaluation. 332-350 2002 conf/padl/2002 PADL http://dx.doi.org/10.1007/3-540-45587-6_21 db/conf/padl/padl2002.html#CastroSW02