@article{20060329115416.831043234947,
  title = "Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation",
  author = "Brazier, F.M.T. and Cornelissen, F. and Gustavsson, R. and Jonker, C.M. and Lindeberg, O. and Polak, B. and Treur, J.",
  journal = "Journal of Applied Intelligence",
  volume = "20",
  pages = "95-117",
  year = "2004",
  publisher = "Kluwer Academic Publishers"
}