The Work

Rippling: A heuristic for guiding inductive proofs

The details

The Author

Alan Richard Bundy

The offers