Refutation by Randomised General Resolution.

Steven D. Prestwich, Ins Lynce

Browse the full AAAI paper archive.