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