F.  Giannotti, Manco, G., Nanni, M., and Pedreschi, D., ?On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases?, in CSL, 1998, pp. 58-72.