I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
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.