Computing Minimal Refutations

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

Authors

Peter Jackson

This author has not been identified. Look up 'Peter Jackson' in Google