APL2 implementations of unification. - James A. Brown 001; Ramiro Guerreiro (APL, 1987)

Designing APL2 programs for unification. - James A. Brown 001; Ramiro Guerreiro (APL, 1987)