Building up hierarchical mathematical domains using functors in Theorema. - Wolfgang Windsteiger (Calculemus, 1999)

A Set Theory Prover Within Theorema. - Wolfgang Windsteiger (EUROCAST, 2001)

Theorema. - Wolfgang Windsteiger; Bruno Buchberger; Markus Rosenkranz (The Seventeen Provers of the World, 2006)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

An automated prover for Zermelo-Fraenkel set theory in Theorema. - Wolfgang Windsteiger (J. Symb. Comput., 2006)

Automated Reasoning. - Tudor Jebelean; Bruno Buchberger; Temur Kutsia; Nikolaj Popov; Wolfgang Schreiner; Wolfgang Windsteiger (Hagenberg Research, 2009)

Using Theorema in the Formalization of Theoretical Economics. - Manfred Kerber; Colin Rowat; Wolfgang Windsteiger (Calculemus/MKM, 2011)

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. - Wolfgang Windsteiger (UITP, 2012)

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. - Christoph Lange 002; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger (MKM/Calculemus/DML, 2013)

Theorema 2.0: A System for Mathematical Theory Exploration. - Wolfgang Windsteiger (ICMS, 2014)

Theorema 2.0: Computer-Assisted Natural-Style Mathematics. - Bruno Buchberger; Tudor Jebelean; Temur Kutsia; Alexander Maletzky; Wolfgang Windsteiger (J. Formaliz. Reason., 2016)

The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. - Alexander Maletzky; Wolfgang Windsteiger (CICM, 2017)

Theorema 2.0: A Brief Tutorial. - Wolfgang Windsteiger (SYNASC, 2017)

Computational Logic in the First Semester of Computer Science: An Experience Report. - David M. Cerna; Martina Seidl; Wolfgang Schreiner; Wolfgang Windsteiger; Armin Biere (CSEDU (2), 2020)

Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. - David M. Cerna; Martina Seidl; Wolfgang Schreiner; Wolfgang Windsteiger; Armin Biere (ITiCSE, 2020)

Automated Theorem Proving in the Classroom. - Wolfgang Windsteiger (ADG, 2021)

Learning to Reason Assisted by Automated Reasoning. - Wolfgang Windsteiger (CICM, 2022)

Gray-Box Proving in Theorema. - Wolfgang Windsteiger (SYNASC, 2024)