Hendrik Decker On Explanations in Deductive Databases. 173-185 1991 FMLDO db/conf/fmldo/fmldo91.html#Decker91