Aronsson, Martin "Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation" SICS R93-02 1993

(1993)

Languages mentioned