1. Börger,E.: Reduktionstypen in Krom- und Hornformeln. Dissertation Münster 1971.
2. Börger,E.: Eine einfache Methode zur Bestimmung der Unlösbarkeitsgrade von Entscheidungsproblemen kombinatori-scher Systeme. Habilitationsschrift Münster 1975.
3. Börger,E.,Heidler,K.: Die m-Grade logischer Entscheidungsprobleme. Arch.math.Logik 17, 105?112 (1976).
4. Gladstone,M.D.: Finite models for inequations. JSL 31 581?592 (1966).
5. Gurevic,J.S.: Semi-conservative reduction and decision problem for standard classes. Techn. Report Ben Gurion University 1974.