An Abstraction for Proof-Planning: The S-Abstraction<pre>@techreport{Au-97-a,
  author        = {Autexier, Serge},
  title         = {An Abstraction for Proof-Planning: The S-Abstraction},
  type          = {SEKI Report},
  number        = {SR-97-05},
  institution   = {FR 6.2 Informatik, Saarland University},
  address       = {Postfach 15 11 50, 66041 Saarbr\"ucken},
  month         = {june},
  year          = {1997},
}
</pre>