Norton, Lewis M. 1971. “Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality.”Artificial Intelligence 2(3–4): 261–284.
Norton, Lewis M. 1983. “Automated Analysis of Instructional Text.”Artificial Intelligence 20(3): 307–344.