Author: International Conference on Logic and Its Applications in Algebra and Geometry (2003 University of Michigan)