McKeown, J., & Sutcliffe, G. (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