1. The Muse Approach to Or–parallel Prolog;Ali;International Journal of Parallel Programming,1990
2. Or–Parallel Execution of Prolog on a Multi–Sequential Machine;Ali;International Journal of Parallel Programming,1987
3. Andrews. Refutations by Matings;Peter;IEEE Transactions on Computers,1976
4. Ulrich Assmann. Parallele Modelle fuer Deduktionssysteme. infix–Verlag, Sankt Augustin, DISKI–Reihe, (Dissertationen zur Kuenstlichen Intelligenz), Band 21, 1992.
5. Automated Theorem Proving.;Bibel,1982