“Terms Are Not Formulas!”. The Reasoner, vol. 9, no. 12, Dec. 2015, https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24784.