1.
McKeown J, Sutcliffe G. An Interactive Interpretation Viewer for Typed First-order Logic. FLAIRS [Internet]. 2023 May 8 [cited 2025 Feb. 14];36(1). Available from: https://journals.flvc.org/FLAIRS/article/view/133073