General Computers in 1987
Memory Performance of PROLOG Architectures
by
Tick, Evan
Integrated Natural Language Dialogue: A Computational Model
by
Frederking, Robert E.
Mechanical Geometry Theorem Proving
by
Shang-Ching Chou