Affiliation: | Department of Computer Science, University of Colorado, Boulder, Colorado, USA;Department of Computer Science, State University of New York at Buffalo, Amherst, New York, USA;Mathematical Institute, Utrecht State University, Utrecht, The Netherlands |