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

by María J García de la Banda, Bart Demoen, Kim Marriott, Peter J Stuckey
Venue:In International Symposium on Functional and Logic Programming