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 (Feb. 2026), 76–88. DOI:https://doi.org/10.61467/2007.1558.2026.v17i2.1258.