Ewing L. Lusk, William McCune, John K. Slaney. Parallel Closure-Based Automated Reasoning. In Bertram Fronhöfer, Graham Wrightson, editors, Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Volume 590 of Lecture Notes in Computer Science, pages 347, Springer, 1990.
No references recorded for this publication.
No citations of this publication recorded.