1. On the decision problem for formulas in which all disjunctions are binary;Aanderaa;Proc. 2nd Scand. Log. Symp.,1971
2. Reduktionstypen in Krom-und Hornformeln;Börger,1971
3. Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen;Börger;Arch. Math. Logik Grundlagenforsch.,1974
4. Eine einfache Methode zur Bestimmung der Unlösbarkeitsgrade von Entscheidungsproblemen kombinatorischer Systeme;Börger,1975
5. A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems;Börger,1979