A Decision Procedure for Propositional N-Prolog. - Jörg Hudelmaier (ELP, 1989)

Bounds for cut elimination in intuitionistic propositional logic. - Jörg Hudelmaier (Arch. Math. Log., 1992)

An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic. - Jörg Hudelmaier (J. Log. Comput., 1993)

Improved Decision Procedures for the Modal Logics K, T, and S4. - Jörg Hudelmaier (CSL, 1995)

Classical Lambek Logic. - Jörg Hudelmaier; Peter Schroeder-Heister (TABLEAUX, 1995)

On the Computational Complexity of Propositional Logic Programs with Nested Implications. - Jörg Hudelmaier (ELP, 1996)