Eugenia Ternovskaia. ID-logic and the Ramification Problem for the Situation Calculus. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 563-570, IOS Press, 2000.
Abstract is missing.