- Andrea Formisano, Eugenio G Omodeo, Alberto Policriti, “Three-variable statements of set-pairing”, Theoretical Computer Science, 322, № 1, 2004, 147
- Paola D’Aquino, Angus Macintyre, “Non-standard finite fields overIΔ0+Ω1”, Isr. J. Math., 117, № 1, 2000, 311
- Eugenio G. Omodeo, Alberto Policriti, “Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case”, Comm Pure Appl Math, 48, № 9, 1995, 1123
- Vladan Babovic, Michael B. Abbott, “The evolution of equations from hydraulic data Part II: Applications”, Journal of Hydraulic Research, 35, № 3, 1997, 411
- Décio Krause, 290, Brazilian Studies in Philosophy and History of Science, 2011, 257
- Jan A. Bergstra, John V. Tucker, “Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero”, J of Log Lang and Inf, 2024