%0 Book
%A / Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori
%T Agent Systems-Computational Logic in Multi
%U /book/93617440/Agent-SystemsComputational-Logic-in-Multi/