Towards a Framework to Integrate Proof Search Paradigms
@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}, }