McDermott, D. Review of Logic Foundations of Artificial Intelligence. AIMag 1989, 10, 103.