1. Lect Notes Comput Sci;A. Aiken,1991
2. S. K. Debray. Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems, 11(3):418–450, 1989.
3. B. Demoen, M. García de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. Herbrand constraint solving in HAL. In Proc. of ICLP, 260–274. MIT Press, 1999.
4. Lect Notes Comput Sci;B. Demoen,1999
5. B. Demoen, M. García de la Banda, and P.J. Stuckey. Type constraint solving for parametric and ad-hoc polymorphism. In Proc. of 22nd ACSC, 217–228. Springer-Verlag, 1999.