Bibliography

1

E. Lusk and W. McCune.
Experiments with ROO, a parallel automated deduction system.
In B. Fronhöfer and G. Wrightson, editors, Parallelization in Inference Systems, Lecture Notes in Artificial Intelligence, Vol. 590, pages 139-162, New York, 1992. Springer-Verlag.

2

E. Lusk, W. McCune, and J. Slaney.
ROO--a parallel theorem prover.
Tech. Memo MCS-TM-149, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 1991.

3

E. Lusk and R. Overbeek.
The automated reasoning system ITP.
Tech. Report ANL-84/27, Argonne National Laboratory, Argonne, IL, April 1984.

4

J. McCharen, R. Overbeek, and L. Wos.
Problems and experiments for and with automated theorem-proving programs.
IEEE Transactions on Computers, C-25(8):773-782, August 1976.

5

W. McCune.
OTTER 2.0 Users Guide.
Tech. Report ANL-90/9, Argonne National Laboratory, Argonne, IL, March 1990.

6

W. McCune.
What's New in OTTER 2.2.
Tech. Memo ANL/MCS-TM-153, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, July 1991.

7

W. McCune and L. Wos.
The absence and the presence of fixed point combinators.
Theoretical Computer Science, 87:221-228, 1991.

8

W. McCune and L. Wos.
Experiments in automated deduction with condensed detachment.
Preprint MCS-P237-0491, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 1991.
To appear in proc. CADE-11, Springer-Verlag LNAI.

9

B. Smith.
Reference manual for the environmental theorem prover: An incarnation of AURA.
Tech. Report ANL-88-2, Argonne National Laboratory, Argonne, IL, March 1988.