Michael Benedikt

Generating Plans from Proofs