Evgenii Kotelnikov, Laura Kovács, Martin Suda 0001, Andrei Voronkov. A Clausal Normal Form Translation for FOOL. In Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. Volume 41 of EPiC Series in Computing, pages 53-71, EasyChair, 2016. [doi]
Abstract is missing.