An Automatic Difference-List Transformation Algorithm for Prolog.

J. Zhang, Phil W. Grant

Browse the full ECAI paper archive.