(1)
McKeown, J.; Sutcliffe, G. An Interactive Interpretation Viewer for Typed First-Order Logic. FLAIRS 2023, 36.