1. Beitr�ge zur Algebra der Logik, insbesondere zum Entscheidungsproblem
2. Aristotle's Syllogistic, Clarendon Press, Oxford, 1952.
3. and , A simplifier based on efficient decision algorithms, Fifth Ann. Symp. on Principles of Programming Languages, 1978, pp. 141–150.
4. Complexity of combinations of quantifier-free procedures, Workshop on Automatic Deduction, Austin, Texas, 1979.