An Overview of HAL.

Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey

Browse the full CP paper archive.