e-mail: salex - at - cs.huji.ac.il phone: +972-2-5494552 fax: +972-2-5494552 office: 210, Ross Building, Givat Ram Campus