Author: International Conference on Symbolic and Logical Computing (6th 1993 Dakota State University)