Adequate formalization. - Michael Baumgartner; Timm Lampert (Synth., 2008)

A Decision Procedure for Herbrand Formulae without Skolemization. - Timm Lampert (CoRR, 2017)

Minimizing disjunctive normal forms of pure first-order logic. - Timm Lampert (Log. J. IGPL, 2017)

Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach. - Timm Lampert (Diagrams, 2018)

Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates. - Timm Lampert; Anderson Nakano (IJCAR (1), 2020)

Wittgenstein's Elimination of Identity for Quantifier-Free Logic. - Timm Lampert; Markus Säbel (Rev. Symb. Log., 2021)