@Book{dixleisat02, editor = {J\"{u}rgen Dix and Joao Leite and Ken Satoh}, title = {{C}{L}{I}{M}{A}: {C}omputational {L}ogic in {M}ulti {A}gent {S}ystems}, publisher = {Elsevier Science Publishers}, series = {Electronic Notes on Theoretical Computer Science}, volume = {70}, number = {5}, year = {2002}, url = {http://www.elsevier.com/locate/entcs/volume70.html}, isbn = {50444512985} }