[1]
J. McKeown and G. Sutcliffe, “An Interactive Interpretation Viewer for Typed First-order Logic”, FLAIRS, vol. 36, no. 1, May 2023.