Author:
Kleine Büning Hans,Lettmann Theodor
Reference10 articles.
1. Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
2. The complexity of the satisfiability problem for Krom formulas
3. and , The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley. Reading, Mass., 1979.
4. Springer Lect;Ferrante,1979
5. and , Computers and Intractibility: A Guide to the Theory of NP-completeness. Freeman. San Fransisco. 1979.