@Article{Rei92, Author = "Reiter, R.", Year = "1992", Title = "{What Should a Database Know?}", Journal = "Journal of Logic Programming", Volume = "14", Number = "1-2", Pages = "127-153", Comment = "TPTPRef" }