@inproceedings{3de0ca5d361e4b4099c17a05abfd89c6,
title = "Planning and Patching Proof",
abstract = "We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning and rippling.",
author = "Alan Bundy",
year = "2004",
month = jul,
doi = "10.1007/b100361",
language = "English",
isbn = "978-3-540-23212-4",
volume = "3249",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag GmbH",
pages = "26--37",
booktitle = "Artificial Intelligence and Symbolic Computation",
}