Davila, R., Aldeco Perez, R., & Barcenas, E. (2026). OWL Consistency Models in Smart Contracts Design. International Journal of Combinatorial Optimization Problems and Informatics, 17(2), 76–88. https://doi.org/10.61467/2007.1558.2026.v17i2.1258