Binding-time analysis for Mercury (1999)

by W Vanhoof, M Bruynooghe
Venue:16th International Conference on Logic Programming, pages 500 { 514