- L. D. Beklemishev, 1683, Computer Science Logic, 1999,
389 
- Andrés Cordón–Franco, F. Félix Lara–Martín, 7318, How the World Computes, 2012,
440 - Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara-Martín, “On Conditional Axioms and Associated Inference Rules”, Axioms, 13, № 5, 2024,
306