Towards a Framework to Integrate Proof Search Paradigms
@techreport{ABH-03-a,
  author        = {Serge Autexier and Christoph Benzmüller and Dieter Hutter},
  title         = {Towards a Framework to Integrate Proof Search Paradigms},
  type          = {SEKI Report},
  number        = {SR-03-02},
  institution   = {Fachrichtung Informatik, Universität des Saarlandes, Saarbrücken, Germany},
  year          = {2003},
}