1. O. L. Astrachan and D. W. Loveland. METEORs: High performance theorem provers using model elimination. Technical Report CS-1991-08, Dept, of CS, Duke University, Durham, North Carolina, 1991.
2. H. Alshawi and D. B. Moran. The Delphi Model and some preliminary experiments. In Proc. of 5th Int. Conf. and Symposium, pages 1578–1589. MIT-Press, 1988.
3. Robert Amthor. Simulation eines Beweisers auf einer Multi — Prozessorarchitektur. Master's thesis, Technische Universitä München, 1989.
4. J. Boyle, R. Butler, T. Disz, B. Glickfled, E. Lusk, and et.al. Portable Programs for Parallel Processors. Holt, Rinehart, Winston, New York, 1987.
5. Th. Bemmerl, A. Bode, Th. Ludwig, and S. Tritscher. MMK — Multiprocessor Multitasking Kernel (User's Guide and User's Reference Manual). SFB Bericht Nr. 342/26/90A, Technische Universität München, 1990.