Strömbäck, L. (1994). FLUF: A Flexible Unification Formalism - Syntax and Semantics. Technical Report LiTH-IDA-R-94-13, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: FLUF: A FLexible Unification Formalism - Syntax and Semantics Lenas Strömbäck Abstract The report presents the FLexible Unification Formalism (FLUF) as our solution of a flexible unification-based formalism\x11for natural language processing. For this formalism we give both a declarative and an operational semantics based on the theory for term rewriting systems and narrowing. We also give some results about soundness and completeness.
CS Dept TR Overview