Michael Fisher 0001. An alternative approach to concurrent theorem-proving. In James Geller, Hiroaki Kitano, Christian B. Suttner, editors, Parallel Processing for Artificial Intelligence 3. Volume 20 of Machine Intelligence and Pattern Recognition, pages 209-230, Elsevier, 1997. [doi]
Abstract is missing.