Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Bundy, Alan,
Stevens, Andrew,
van Harmelen, Frank,
Ireland, Andrew and
Smail, Alan. 1993.
“Rippling: A Heuristic for Guiding Inductive Proofs.” Artificial Intelligence 62(2): 185–253.