Martin Aronsson "A Definitional Approach to the Combination of Functional and Relational Programming" SICS R91-10 1991
(1991)
Languages mentioned
GCLA
{1991}