F. Bulgarov and R. Nielsen, “Proposition Entailment in Educational Applications Using Deep Neural Networks”, AAAI, vol. 32, no. 1, Apr. 2018.