Kharitonov, Mark "CFUF: A Fast Interpreter for the Functional Unification Formalism" MSc thesis Ben-Gurion University of the Negev 1999
(1999)
Languages mentioned
CFUF
{1999}
FUF
{1989} Functional Unification Formalism