%0 Journal Article
%T Formal Social Norms and Their Enforcement in Computational MAS by Automated Reasoning
%A Roman Neruda
%A Ondrej Kazik
%J IAENG International Journal of Computer Science
%D 2012
%I IAENG - International Association of Engineers
%U http://www.iaeng.org/IJCS/issues_v39/issue_1/IJCS_39_1_09.pdf