1. Lecture Notes in Computer Science;O. Astrachan,1992
2. Lecture Notes in Artificial Intelligence;J. Draeger,1998
3. Draeger, J.: Modularisierte Suche in Theorembeweisern. Ph.D. Dissertation, Technical University Munich (1998)
4. Draeger, J., Wolf, A.: Strategy Parallelism and Lemma Evaluation. In: FLAIRS 1999 (1999)
5. 5. Goller, C.: A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems, Ph.D. Dissertation, Technical University Munich (1997)