High parallelism and a proof procedure I: Theoretical considerations

Authors: Kung, C.-H.

Journal: Decision Support Systems (1985)

DOI: 10.1016/0167-9236(85)90172-1

View in Otero