OWL Consistency Models in Smart Contracts Design. - Davila, Rene; Aldeco-Perez, Rocio; Barcenas, Everardo (International Journal of Combinatorial Optimization Problems & Informatics, 2026)