@Article{thielscher:AIJ99,
  author = 	"Michael Thielscher",
  title = 	"From {S}ituation {C}alculus to {F}luent {C}alculus\/:
		State Update Axioms as a Solution to the Inferential
		Frame Problem",
  journal = 	AIJ,
  year = 	1999,
  volume = 	"111",
  number = 	"1--2",
  pages = 	"277--299"
}