Cadmium: An Implementation of ACD Term Rewriting.

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

Browse the full ICLP paper archive.