Elhadad, Michael. "FUF: The universal unifier user manual." Technical report, Department of Computer Science, Columbia University, 1989.
(1989)
Languages mentioned
FUF
{1989} Functional Unification Formalism