C96-1054 control holds in comparison to the unification-based transfer approach on Mimimal Recursion Semantics
hide detail