e-mail: salex - at - cs.huji.ac.il phone: +972-2-5494552 fax: +972-2-5494552 office: 427, Rothberg A building, Givat Ram Campus