Author: International Conference on Symbolic and Logical Computing (4th 1989 Dakota State University)