John L. McCarthy Generality in Artificial Intelligence. 1029-1035 1987 30 Commun. ACM 12 db/journals/cacm/cacm30.html#McCarthy87