MULTILOG: A System for Axiomatizing Many-valued Logics. - Matthias Baaz; Christian G. Fermüller; Arie Ovrutcki; Richard Zach (LPAR, 1993)