Davila, Rene, Rocio Aldeco Perez, and Everardo Barcenas. 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.