Author: International Conference on Symbolic and Logical Computing (5th 1991 Dakota State University)