A taxonomy of parallel strategies for deduction (2000)

by M Bonacina
Venue:Annals of Mathematics and Artificial Intelligence