Sarah Mallet Mireille Ducassé DDB Trees: A Basis for Deductive Database Explanations. 87-102 1997 AADEBUG db/conf/aadebug/aadebug97.html#MalletD97 http://www.ep.liu.se/ea/cis/1997/009/09/