Davila, R., R. Aldeco Perez, and E. Barcenas. “OWL Consistency Models in Smart Contracts Design”. International Journal of Combinatorial Optimization Problems and Informatics, vol. 17, no. 2, Feb. 2026, pp. 76-88, doi:10.61467/2007.1558.2026.v17i2.1258.