McKeown, Jack, and Geoff Sutcliffe. 2023. “An Interactive Interpretation Viewer for Typed First-Order Logic”. The International FLAIRS Conference Proceedings 36 (1). https://doi.org/10.32473/flairs.36.133073.