Parthenon: A parallel theorem prover for non-horn clauses
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro MichaylovVolume:
8
Language:
english
Pages:
29
DOI:
10.1007/bf00244281
Date:
April, 1992
File:
PDF, 1.40 MB
english, 1992