Some Aspects of the Probabilistic Behavior of Variants of Resolution. - Peter Heusch; Ewald Speckenmeyer (CSL, 1991)

On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers. - Ewald Speckenmeyer; Max Böhm; Peter Heusch (Satisfiability Problem: Theory and Applications, 1996)

The Complexity of the Falsifiability Problem for Pure Implicational Formulas. - Peter Heusch (Discret. Appl. Math., 1999)

Improving a fixed parameter tractability time bound for the shadow problem. - Peter Heusch; Stefan Porschen; Ewald Speckenmeyer (J. Comput. Syst. Sci., 2003)