@InProceedings{thielscher:JELIA98,
  author = 	"Michael Thielscher",
  title =       "Towards State Update Axioms\/: Reifying Successor
		State Axioms",
  booktitle =   "Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA)",
  year = 	1998,
  editor = 	"L.~F.\ del Cerro and J.\ Dix and U.\ Furbach",
  pages =	"248--263",
  address = 	"Dagstuhl, Germany",
  volume =      "1489",
  series =      "LNAI",
  publisher = 	"Springer",
  month =       oct
}