Victor Vianu
Dept. of Computer Science and Engineering
U.C. San Diego
La Jolla, CA 92093
Tel: +1 858-534-6227
Fax: +1 858-534-7029
vianu@cs.ucsd.edu