OWL
The Paradox developers described the software as a "Mace-style" method after the McCune's tool of that name. Paradox was developed up to version 4, the final version being effective in model finding for Web Ontology Language OWL2.