R. Davila, R. Aldeco Perez, and E. Barcenas, “OWL Consistency Models in Smart Contracts Design”, Int. Journal of COP and Infor., vol. 17, no. 2, pp. 76–88, Feb. 2026.