de Nivelle, HansMeng, Jia2015-12-07August 17-9783540371878http://hdl.handle.net/1885/20938Geometric resolution: A proof procedure based on finite model search20062015-12-07