Parameterized Abstractions used for Proof-Planning<pre>@techreport{AuHu-97-a,
  author        = {Autexier, Serge and Hutter, Dieter},
  title         = {Parameterized Abstractions used for Proof-Planning},
  type          = {Research Report},
  number        = {RR-97-04},
  institution   = {DFKI GmbH},
  address       = {Stuhlsatzenhausweg 3,  66041 Saarbr\"ucken},
  month         = {february},
  year          = {1997},
}
</pre>