Hi, Here are the slides of Prof. Yang's talk in Fudan. Best, Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: Fudan_Reverse.pdf Type: application/pdf Size: 449909 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20120611/9753bd98/attachment-0001.pdf>