Leslie De Koninck Gregory J. Duck Peter J. Stuckey Demand-Driven Normalisation for ACD Term Rewriting. 484-488 2009 ICLP http://dx.doi.org/10.1007/978-3-642-02846-5_39 conf/iclp/2009 db/conf/iclp/iclp2009.html#KoninckDS09