What Should a Database Know (1992)

by R Reiter
Venue:Journal of Logic Programming