Author: Special Session on Automatic Theorem Proving (1983 Denver, Colo.)