Subsumption Algorithms for Three-Valued Geometric Resolution.

Hans de Nivelle

Browse the full CADE paper archive.