"A Clausal Normal Form Translation for FOOL."

Evgenii Kotelnikov et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics