Computing finite models by reduction to function-free clause logic (0)

by P Baumgartner, A Fuchs, H de Nivelle, C Tinelli
Venue:J. Applied Logic