Equational Proof-Planning by Dynamic Abstraction<pre>@inproceedings{AuHu-97-b,
  author        = {Autexier, Serge and Hutter, Dieter},
  editor        = {Bonacina, Maria Paola and Furbach, Ulrich},
  booktitle     = {Proceedings of FTP97: International Workshop First-Order Theorem Proving},
  title         = {Equational Proof-Planning by Dynamic Abstraction},
  number        = {97-50},
  series        = {Report Series},
  organization  = {RISC-Linz},
  address       = {Johannes Kepler Universit\"at, 4040 Linz, Austria},
  pages         = {1--6},
  month         = {october},
  year          = {1997},
}
</pre>