The Work

The use of explicit plans to guide inductive proofs

The details

The Author

Alan Richard Bundy

The offers