@InProceedings{thielscher:CL00,
  author = 	"Hans-Peter St{\"o}rr and Michael Thielscher",
  title =       "A New Equational Foundation for the Fluent Calculus",
  booktitle =   "Proceedings of the International Conference on
		Computational Logic (CL)",
  year = 	2000,
  editor = 	"J.~Lloyd etal",
  pages =	"733--746",
  volume =      "1861",
  series =      "LNAI",
  publisher = 	"Springer",
  address = 	"London (UK)",
  month =       jul
}