Inductive Definability and the Situation Calculus (1998)

Cached

Download Links

by Eugenia Ternovskaia
Venue:In Transaction and Change in Logic Databases
Citations:12 - 1 self