@InProceedings{thielscher:CLIMA06,
  author = 	"Stephan Schiffel and Michael Thielscher",
  title =       "Multi-Agent FLUX for the Gold Mining Domain",
  booktitle =   "Computational Logic for Multi-Agent Systems (CLIMA)",
  year = 	2007,
  editor =	"K.\ Inoue and K.\ Satoh and F.\ Toni",
  pages =	"294--303",
  volume =	"4371",
  series =	"LNAI",
  publisher = 	"Springer",
  month =       may
}