Michael Abraham Benedikt

• Generating Plans from Proofs