1. Lusk, E., and McCune, W., ?Experiments withRoo, a parallel automated deduction system?, in B. Fronhöfer and G. Wrightson (Eds.),Parallelization in Inference Systems, Lecture Notes in Artificial Intelligence, Vol. 590, pp. 139?162, New York, Springer-Verlag (1992).
2. Tech. Memo;E. Lusk,1991
3. Tech. Report;E. Lusk,1984
4. McCharen, J., Overbeek, R. and Wos, L., ?Complexity and related enhancements for automated theorem-proving programs?,Computers and Mathematics with Applications,2 1?16 (1976).
5. McCharen, J., Overbeek, R. and Wos, L., ?Problems and experiments for and with automated theorem-proving programs?,IEEE Transactions on Computers,C-25(8), 773?782 (August 1976).