Andreas Heuer;Peter Sander
-;-
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)