McKeown, J. and Sutcliffe, G. 2023. An Interactive Interpretation Viewer for Typed First-order Logic. The International FLAIRS Conference Proceedings. 36, 1 (May 2023). DOI:https://doi.org/10.32473/flairs.36.133073.