Thạnh, L. M.; Phong, T. N. Some Approaches That Define Semantics of Deductive Database. JCC 2012, 18.