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]
@incollection{000197-3,
title = {An alternative approach to concurrent theorem-proving},
author = {Michael Fisher 0001},
year = {1997},
doi = {10.1016/s0923-0459(97)80011-0},
url = {https://doi.org/10.1016/s0923-0459(97)80011-0},
researchr = {https://researchr.org/publication/000197-3},
cites = {0},
citedby = {0},
pages = {209-230},
booktitle = {Parallel Processing for Artificial Intelligence 3},
editor = {James Geller and Hiroaki Kitano and Christian B. Suttner},
volume = {20},
series = {Machine Intelligence and Pattern Recognition},
publisher = {Elsevier},
isbn = {978-0-444-82486-8},
}