A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas<pre>@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},
}
</pre>