| System description: GAPT 2.0 G Ebner, S Hetzl, G Reis, M Riener, S Wolfsteiner, S Zivota International Joint Conference on Automated Reasoning, 293-301, 2016 | 43 | 2016 |
| PROOFTOOL: a GUI for the GAPT framework C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ... arXiv preprint arXiv:1307.1942, 2013 | 22 | 2013 |
| Understanding resolution proofs through Herbrand’s theorem S Hetzl, T Libal, M Riener, M Rukhaia International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 20 | 2013 |
| Advanced proof viewing in ProofTool T Libal, M Riener, M Rukhaia arXiv preprint arXiv:1410.8218, 2014 | 13 | 2014 |
| Symmetry Avoidance in MACE-Style Finite Model Finding G Reger, M Riener, M Suda International Symposium on Frontiers of Combining Systems, 3-21, 2019 | 7 | 2019 |
| System Feature Description: Importing Refutations into the GAPT Framework C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ... Proof Exchange for Theorem Proving Second International Workshop, PxTP, 2012 | 6 | 2012 |
| What is the Point of an SMT-LIB Problem? G Reger, M Riener 16th International Workshop on Satisfiability Modulo Theories, 2018 | 5 | 2018 |
| Vampire 4.4-SMT System Description G Reger, M Suda, A Voronkov, E Kotelnikov, S Robillard, L Kovács, ... | 3 | |
| Integrating theories into inference systems M Riener na, 2011 | | 2011 |
