Computing finite models by reduction to function-free clause logic
From MaRDI portal
Publication:1006733
DOI10.1016/j.jal.2007.07.005zbMath1171.68040MaRDI QIDQ1006733
Peter Baumgartner, Cesare Tinelli, Hans de Nivelle, Alexander Fuchs
Publication date: 25 March 2009
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2007.07.005
DB lookup for MSC labels failed
Uses Software