McKeown, Jack, and Geoff Sutcliffe. “An Interactive Interpretation Viewer for Typed First-Order Logic”. The International FLAIRS Conference Proceedings 36, no. 1 (May 8, 2023). Accessed March 4, 2024. https://journals.flvc.org/FLAIRS/article/view/133073.