Towards Fully Automated Axiom Extraction for Finite-Valued Logics.

Joo Marcos, Dalmo Mendonca

Browse the full CADE paper archive.