Abstract Reduction Using a Tableau Calculus - Manfred Schmidt-Schauß; Sven Eric Panitz; Marko Schütz (SAS, 1995)

Analyzing demand in non-strict functional programming languages. - Marko Schütz (2000)

Deciding inclusion of set constants over infinite non-strict data structures. - Manfred Schmidt-Schauß; David Sabel; Marko Schütz (RAIRO Theor. Informatics Appl., 2007)

Safety of Nöcker's strictness analysis. - Manfred Schmidt-Schauß; David Sabel; Marko Schütz (J. Funct. Program., 2008)