To the Gates of HAL: A HAL Tutorial (2002)

by M J García de la Banda, B Demoen, K Marriott, P J Stuckey
Venue:In Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002