1. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
2. Linear Programming and Extensions;Dantzig,1963
3. Integer Programming and Network Flows;Hu,1969
4. Circumscription—a form of non-monotonic reasoning;McCarthy;Artificial Intelligence,1980
5. Applications of circumscription to formalizing common-sense knowledge;McCarthy;Artificial Intelligence,1986