@incollection{Reiter:1991,
	author = "Reiter, R.",
	year = 1991,
	title = "The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression",
	booktitle = "Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy",
	editor = "Lifschitz, Vladimir",
	publisher = academic,
	_address = academic-ad,
 _pages = "359--380"
}