Paradox Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them. Paradox is written by Koen Claessen and Niklas Sörensson. References in zbMATH (referenced in 1 article ) Showing result 1 of 1. y Sorted by year (citations) 10 20 50 all Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare: Computing finite models by reduction to function-free clause logic (2009)
