A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms.

Simon Andrews

Browse the full ICCS paper archive.