Towards Fully Automated Axiom Extraction for Finite-Valued Logics. - João Marcos 001; Dalmo Mendonca (PAAR/ESHOL, 2008)