Domanov О. . А., “Things, Properties, Relations in Type-Theoretical Ontology”, RL, vol. 6, no. 4, pp. 83–92, Dec. 2025.