Moshe Vardi
Department of Computer Science
Mail Stop 132
Rice University
6100 S. Main Street
Houston, TX 77005-1892
USA
vardi@cs.rice.edu