@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}
}