The Stable Revivals Model in CSP-Prover. - D. Gift Samuel; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)