A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas
@inproceedings{Aut-01-a, author = {Autexier, Serge}, editor = {Bonacina, Maria-Paola and Gramlich, Bernhard}, booktitle = {Proceedings of the 4th Workshop on Strategies in Automated Deduction (STRATEGIES'01)}, title = {A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas}, volume = {TR DII 10/01}, publisher = {Universit\`a degli studi di Siena}, pages = {87-99}, month = {june}, year = {2001}, }