A Model Theoretic Semantics for Multi-level Secure Deductive Databases.

Hasan M. Jamil, Gillian Dobbie

Browse the full ICLP paper archive.