An overview of HAL (1999)

by P Codognet
Venue:Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, LNCS