ACD Term Rewriting.

Gregory J. Duck, Peter J. Stuckey, Sebastian Brand

Browse the full ICLP paper archive.