On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases

Publication
Computer Science Logic, 12th International Workshop, CSL ‘98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings