To the gates of HAL: a HAL tutorial (2002)

by M Garcı́a de la Banda, B Demoen, K Marriott, P Stuckey
Venue:In Proceedings of the Sixth International Symposium on Functional and Logic Programming, number 2441 in LNCS