Cookies help us deliver our services. By using our services, you agree to our use of 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.