Caminati, Marco Bright. “Basic First-Order Model Theory in Mizar”. Journal of Formalized Reasoning 3, no. 1 (January 1, 2010): 49–77. Accessed April 17, 2025. https://jfr.unibo.it/article/view/1974.