您即将离开知乎,请注意您的帐号和财产安全。
http://www.ics.forth.gr/tech-reports/2013/2013.TR439_Survey_on_Consistency_Conditions.pdf