HAHN, M.; RICHTER, F. Henkin semantics for reasoning with natural language. Journal of Language Modelling, [S. l.], v. 3, n. 2, p. 513–568, 2016. DOI: 10.15398/jlm.v3i2.113. Disponível em: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113. Acesso em: 27 jun. 2022.