Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Martínez Vidal, Concha
and
Úbeda Rives, José Pedro
2014.
The Life and Work of Leon Henkin.
p.
93.
Kincaid, Zachary
Koh, Nicolas
and
Zhu, Shaowei
2023.
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. POPL,
p.
1275.