Geometric Resolution: A Proof Procedure Based on Finite Model Search.

Hans de Nivelle, Jia Meng

Browse the full CADE paper archive.