Žagar, D.; Vrandečić, N.; Stoić, A. Logical Consistency Validation Tools for Distributed Systems. IJECES 2013, 4, 1-11.