Hi, I enclose the slides for the talk yesterday. Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: TW3.pdf Type: application/pdf Size: 326747 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20120503/0810d05f/attachment-0001.pdf>