Luís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350