Hahn, Michael, and Frank Richter. “Henkin Semantics for Reasoning With Natural Language”. Journal of Language Modelling 3, no. 2 (February 11, 2016): 513–568. Accessed November 30, 2021. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113.