http://www.blog.edu.cn/user2/aifier/archives/2006/1336757.shtml
http://research.edm.uhasselt.be/jori/jrtplib/jrtplib.html
http://www.blog.edu.cn/user2/aifier/archives/2006/1336757.shtml
http://www.blog.edu.cn/user2/aifier/archives/2006/1336757.shtml
http://research.edm.uhasselt.be/jori/jrtplib/jrtplib.html
http://www.blog.edu.cn/user2/aifier/archives/2006/1336757.shtml