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