Bannay, et al.. Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts. IEEE, 2014, doi:10.1109/ictai.2014.133.