Moshe Y. Vardi
Department of Computer Science
Rice University
P.O. Box 1892
Houston, Texas 77251-1892
vardi@cs.rice.edu
fax: (713) 285-5930