Hahn M, Richter F. Henkin semantics for reasoning with natural language. JLM [Internet]. 2016 Feb. 11 [cited 2025 Apr. 2];3(2):513–568. Available from: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113