Demand-Driven Normalisation for ACD Term Rewriting.

Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey

Browse the full ICLP paper archive.