Žagar, D., Vrandečić, N. and Stoić, A. 2013. Logical Consistency Validation Tools for Distributed Systems. International Journal of Electrical and Computer Engineering Systems. 4, 1 (Apr. 2013), 1-11.