Yuh-Jeng Lee Nachum Dershowitz Debugging Logic Programs Using Specifications. 75-84 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#LeeD93