Bibliography

1

T. Drummond, Remy Evard, Ian Foster, V. Herrarte, and E. Lusk.
Parallel program execution visualization with atrace.
(in preparation), 1990.

2

E. Lusk and R. McFadden.
Using automated reasoning tools: A study of the semigroup f2b2.
Semigroup Forum, 36(1):75-88, 1987.

3

E. Lusk and et. al. R. Overbeek.
Portable Programs for Parallel Processors.
Holt, Rinehart, and Winston, 1987.

4

Ewing L. Lusk and Ross A. Overbeek.
The automated reasoning system itp.
Technical Report ANL-84-27, Argonne National Laboratory, 1984.

5

William W. McCune.
Otter 2.0 user's guide.
Technical Report ANL-90/9, Argonne National Laboratory, Argonne, IL 60439, 1990.

6

J. Schumann and R. Letz.
Partheo: A high-performance parallel theorem prover.
In M. E. Stickel, editor, Proceedings of the 10th International Conference on Automated Deduction, Springer Lecture Notes in Artificial Intelligence 449, pages 40-56. Springer-Verlag, 1990.

7

John K. Slaney and Ewing L. Lusk.
Parallelizing the closure operation in automated deduction.
In M. E. Stickel, editor, Proceedings of the 10th International Conference on Automated Deduction, Springer Lecture Notes in Artificial Intelligence 449, pages 28-39. Springer-Verlag, 1990.

8

L. Wos, D. Carson, and G. Robinson.
Efficiency and completeness of the set-of-support strategy in theorem proving.
Journal of the ACM, 14:536-541, 1965.

9

L. Wos, S. K. Winker, and E. L. Lusk.
An automated reasoning system.
In T. Wojcik, editor, Proceedings of the AFIPS National computer Conference, pages 697-702. AFIPS, 1981.

10

Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle.
Automated Reasoning: Introduction and Applications.
Prentice-Hall, Englewood Cliffs, New Jersey, 1984.