Moshe Y. Vardi

Department of Computer Science