GCLA: a definitional approach to logic programming (1990)

by M Aronsson, L-H Eriksson, A Gäredal, L Halnäs, P Olin
Venue:New Generation Computing