@InProceedings{thielscher:FOL75,
  author = 	"Michael Thielscher",
  title = 	"Logic-Based Agents and the Frame Problem: A Case for
		Progression",
  booktitle = 	"First-Order Logic Revisited\/: Proceedings of the Conference
		75 Years of First Order Logic (FOL75)",
  year = 	"2004",
  editor =	"V.\ Hendricks",
  pages =	"323--336",
  publisher =	"Logos",
  address =	"Berlin, Germany"
}