Eugenia Ternovskaia. Inductive Definability and the Situation Calculus. In Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, editors, Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS 97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and De. Volume 1472 of Lecture Notes in Computer Science, pages 227-248, Springer, 1998. [doi]
Abstract is missing.