System Feature Description: Importing Refutations into the GAPT Framework. - Cvetan Dunchev; Alexander Leitsch; Tomer Libal; Martin Riener; Mikheil Rukhaia; Daniel Weller 001; Bruno Woltzenlogel Paleo (PxTP, 2012)

PROOFTOOL: a GUI for the GAPT Framework. - Cvetan Dunchev; Alexander Leitsch; Tomer Libal; Martin Riener; Mikheil Rukhaia; Daniel Weller 001; Bruno Woltzenlogel Paleo (UITP, 2012)

Understanding Resolution Proofs through Herbrand's Theorem. - Stefan Hetzl; Tomer Libal; Martin Riener; Mikheil Rukhaia (TABLEAUX, 2013)

Advanced Proof Viewing in ProofTool. - Tomer Libal; Martin Riener; Mikheil Rukhaia (UITP, 2014)

System Description: GAPT 2.0. - Gabriel Ebner; Stefan Hetzl; Giselle Reis; Martin Riener; Simon Wolfsteiner; Sebastian Zivota (IJCAR, 2016)

Symmetry Avoidance in MACE-Style Finite Model Finding. - Giles Reger; Martin Riener; Martin Suda 001 (FroCos, 2019)

Experimenting with Theory Instantiation in Vampire. - Martin Riener (Vampire, 2019)

Automated Instantiation of Control Flow Tracing Exercises. - Clemens Eisenhofer; Martin Riener (ThEdu@CADE, 2021)