Authors: BAAZ M FERMULLER CG

Citation: M. Baaz et Cg. Fermuller, RESOLUTION-BASED THEOREM-PROVING FOR MANY-VALUED LOGICS, Journal of symbolic computation, 19(4), 1995, pp. 353-391

Authors: GOTTLOB G FERMULLER CG

Citation: G. Gottlob et Cg. Fermuller, REMOVING REDUNDANCY FROM A CLAUSE, Artificial intelligence, 61(2), 1993, pp. 263-289