@InProceedings{   dix01,
  author    = {J\"{u}rgen Dix},
  title     = {{A} {C}omputational {L}ogic {A}pproach to {H}eterogenous
{A}gent {S}ystems},
  booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
          of the Sixth International Conference },
  year      = {2001},
  pages     = {1--21},
  editor    = {Th.~Eiter and M.~Truszczy{\'n}ski and W.~Faber},
  publisher = {Springer},
  address   = {Berlin},
  series    = {LNCS 2173},
  month     = {September}
}