Marc Fuchs:
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference
pp 4-9

J<o:rg Denzinger, Dirk Fuchs:
Cooperation of Heterogeneous Provers
pp 10-15