Inductive definability and the situation calculus (1998)

by E Ternovskaia
Venue:In Transaction and Change in Logic Databases