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