Towards a Framework to Integrate Proof Search Paradigms<pre>@techreport{ABH-03-a,
  author        = {Serge Autexier and Christoph Benzm\"uller and Dieter Hutter},
  title         = {Towards a Framework to Integrate Proof Search Paradigms},
  type          = {SEKI Report},
  number        = {SR-03-02},
  institution   = {Fachrichtung Informatik, Universit\"at des Saarlandes, Saarbr\"ucken, Germany},
  year          = {2003},
}
</pre>