A taxonomy of parallel strategies for deduction (2000)

by M P Bonacina
Venue:Annuals of Mathematics and Artificial Intelligence