1. On the representation and querying of sets of possible worlds;Abiteboul;Theoretical Computer Science,1991
2. Equivalences among relational expressions;Aho;SIAM J. Computing,1979
3. Semantics of an extended relational model for managing uncertain information;Alagar,1995
4. Introduction to logic programming;Apt,1986
5. Towards a theory of declarative knowledge;Apt,1988