Michael Codish, Dennis Dams, Eyal Yardeni
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
ICLP, 1991.
@inproceedings{ICLP-1991-CodishDY,
author = "Michael Codish and Dennis Dams and Eyal Yardeni",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "79--93",
publisher = "{MIT Press}",
title = "{Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis}",
year = 1991,
}