@InProceedings{thielscher:ICLP03,
  author = 	"Michael Thielscher",
  title =       "Controlling Semi-Automatic Systems with FLUX",
  booktitle =   "Proceedings of the International Conference on Logic
		 Programming (ICLP)",
  year = 	2003,
  editor =	"C.\ Palamidessi",
  pages =	"515--516",
  volume =      "2916",
  series =      "LNCS",
  publisher =	"Springer",
  address =	"Mumbay, India",
  month =	nov
}