Forward chaining parallel inference

M. C. Rowe, J. Labhart, R. Bechtel, S. Matney, S. Carrow. Forward chaining parallel inference. In SPDP. pages 455-462, 1990. [doi]

Abstract

Abstract is missing.