A description and analysis of the par technique an approach to parallel inference and parallel search in problem solving systems - Wilson, Gerald Alan (1976)