Concepedia

Publication | Open Access

Rippling: A heuristic for guiding inductive proofs

DOIFull Paper Access

225

Citations

6

References

1993

Year

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
Artificial Intelligence

References

YearCitations

Page 1