Sergei N. Artemov
Computer Science
CUNY Graduate Center
365 Fifth Avenue, rm 4319
New York, NY 10016, USA
sartemov@gc.cuny.edu