An Implementation Technique for the Abstract Interpretation of Prolog

@inproceedings{Wrn1988AnIT,
  title={An Implementation Technique for the Abstract Interpretation of Prolog},
  author={Annika W{\ae}rn},
  booktitle={ICLP/SLP},
  year={1988}
}