MCKEOWN, J.; SUTCLIFFE, G. An Interactive Interpretation Viewer for Typed First-order Logic. The International FLAIRS Conference Proceedings, [S. l.], v. 36, n. 1, 2023. DOI: 10.32473/flairs.36.133073. Disponível em: https://journals.flvc.org/FLAIRS/article/view/133073. Acesso em: 26 feb. 2024.