@Article{	  hutter.ea:security-of-multiagent-systems--a-case-study-on-comparison-shopping:2007,
  author	= {Dieter Hutter and Heiko Mantel and Ina Schaefer and Axel
		  Schairer},
  journal	= {Journal of Applied Logic (JAL)},
  title		= {{Security of Multi-agent Systems: A Case Study on
		  Comparison Shopping}},
  pages		= {303--332},
  volume	= 5,
  number	= 2,
  year		= 2007
}