Phillip Chen-Yu Sheu Describing semantic data bases with logic. 19-27 1989 9 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(89)90004-6 db/journals/jss/jss9.html#Sheu89