An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction.

Harald Sndergaard

Browse the full ESOP paper archive.