Computing Minimal Refutations

Peter Jackson. Computing Minimal Refutations. In SCAI. pages 107-118, 1991.

Abstract

Abstract is missing.