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 April 2, 2025. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113.