Lipeck: Specifying closed world assumptions for logic databases (1989)

by S Brass, U
Venue:MFDBS 89 --- 2nd Symposium on Math. Fundamentals of Database Systems, 68--84