João Marcos Dalmo Mendonca Towards Fully Automated Axiom Extraction for Finite-Valued Logics. 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/paper-03.pdf conf/cade/2008paar db/conf/cade/paar2008.html#MarcosM08