An overview of HAL (1999)

by B Demoen, W Harvey M García de la Banda, K Marriott, P Stuckey
Venue:Proceedings of Principles and Practice of Constraint Programming, number 1713 in LNCS