Marc Denecker A Terminological Interpretation of (Abductive) Logic Programming. 15-28 1995 conf/lpnmr/1995 LPNMR db/conf/lpnmr/lpnmr95.html#Denecker95