Resolution methods for the decision problem C Fermüller, A Leitsch, T Tammet, N Zamov Springer Berlin Heidelberg, 1993 | 177 | 1993 |
Resolution decision procedures CG Fermüller, A Leitsch, U Hustadt, T Tammet Handbook of automated reasoning, 1791-1849, 2001 | 153 | 2001 |
Resolution-based theorem proving for many-valued logics M Baaz, CG Fermüller Journal of Symbolic Computation 19 (4), 353-391, 1995 | 110 | 1995 |
Hypersequent calculi for Gödel logics—a survey M Baaz, A Ciabattoni, CG Fermüller Journal of Logic and Computation 13 (6), 835-861, 2003 | 104 | 2003 |
Hyperresolution and automated model building C Fermüller, A Leitsch Journal of Logic and Computation 6 (2), 173-203, 1996 | 102 | 1996 |
Removing redundancy from a clause G Gottlob, CG Fermüller Artificial Intelligence 61 (2), 263-289, 1993 | 100 | 1993 |
Fuzzy logic P Cintula, CG Fermüller, C Noguera | 81 | 2016 |
Elimination of cuts in first-order finite-valued logics M Baaz, CG Fermüller, R Zach | 79 | 1993 |
Systematic construction of natural deduction systems for many-valued logics M Baaz, CG Fermuller, R Zach [1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993 | 76* | 1993 |
Labeled calculi and finite-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Studia Logica 61, 7-33, 1998 | 73 | 1998 |
Automated deduction for many-valued logics M Baaz, CG Fermüller, G Salzer Handbook of automated reasoning, 1355-1402, 2001 | 68 | 2001 |
Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 67 | 2005 |
Resolution for many-valued logics M Baaz, CG Fermüller International Conference on Logic for Programming Artificial Intelligence …, 1992 | 64 | 1992 |
Analytic calculi for projective logics M Baaz, CG Fermüller International Conference on Automated Reasoning with Analytic Tableaux and …, 1999 | 63 | 1999 |
Non-elementary speedups between different versions of tableaux M Baaz, CG Fermüller International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995 | 54 | 1995 |
Giles’s game and the proof theory of Łukasiewicz logic CG Fermüller, G Metcalfe Studia Logica 92, 27-61, 2009 | 53 | 2009 |
A non-elementary speed-up in proof length by structural clause form transformation M Baaz, CG Fermuller, A Leitsch Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 213-219, 1994 | 51 | 1994 |
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving M Baaz, A Ciabattoni, CG Fermüller Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001 | 46 | 2001 |
Parallel dialogue games and hypersequents for intermediate logics CG Fermüller International conference on automated reasoning with analytic tableaux and …, 2003 | 43 | 2003 |
Dual systems of sequents and tableaux for many-valued logics M Baaz, CG Fermüller, R Zach | 43 | 1993 |