1. Formal Reductions of the General Combinatorial Decision Problem
2. . Human problem solving. Englewood Cliffs, NJ: Prentice-Hall; 1972.
3. In defense of logic. In: Proc Int Joint Conf on Artificial Intelligence, Tbilisi, USSR, September; 1975. pp 559–565.
4. , , , . Exploring the structure of rule based systems. In: Proc 11th Natl Conf on Artificial Intelligence (AAA193); 1993. pp 704–709.
5. Generalization learning techniques for automating the learning of heuristics