Wim Vanhoof, Maurice Bruynooghe. Towards Modular Binding-Time Analysis for First-order Mercury. Theoretical Computer Science, 30(2):189-198, 1999. [doi]
@article{VanhoofB99:0,
title = {Towards Modular Binding-Time Analysis for First-order Mercury},
author = {Wim Vanhoof and Maurice Bruynooghe},
year = {1999},
url = {http://www.elsevier.nl/locate/entcs/volume30.html},
tags = {analysis},
researchr = {https://researchr.org/publication/VanhoofB99%3A0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {30},
number = {2},
pages = {189-198},
}