Binding-time analysis for mercury (2004)

by W Vanhoof, M Bruynooghe, M Leuschel
Venue:In Program Development in Computational Logic