McKeown, J., and G. Sutcliffe. “An Interactive Interpretation Viewer for Typed First-Order Logic”. The International FLAIRS Conference Proceedings, vol. 36, no. 1, May 2023, doi:10.32473/flairs.36.133073.