Nevin Heintze, Joxan Jaffar. A Generic Algorithm for CLP Analysis. In ICLP. pages 49-63, 1995.
@inproceedings{HeintzeJ95, title = {A Generic Algorithm for CLP Analysis}, author = {Nevin Heintze and Joxan Jaffar}, year = {1995}, tags = {analysis}, researchr = {https://researchr.org/publication/HeintzeJ95}, cites = {0}, citedby = {0}, pages = {49-63}, booktitle = {ICLP}, }