A Novel Asynchronous Parallelism Scheme for First-Order Logic.

David B. Sturgill, Alberto Maria Segre

Browse the full CADE paper archive.