Inductive Definability and the Situation Calculus (1998)

by E Ternovskaia
Venue:Transactions and Change in Logic Databases, volume 1472 of LNCS