Computing finite models by reduction to function-free clause logic

Baumgartner, PeterFuchs, Alexanderde Nivelle, HansTinelli, Cesare2015-12-07August 17-9783540371878http://hdl.handle.net/1885/22833Computing finite models by reduction to function-free clause logic20062015-12-07