Žagar, D., Vrandečić, N., & Stoić, A. (2013). Logical Consistency Validation Tools for Distributed Systems. International Journal of Electrical and Computer Engineering Systems, 4(1), 1-11. Retrieved from https://ijeces.ferit.hr/index.php/ijeces/article/view/867