We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

翻译：本文针对第二阶变量最多出现一次的第二阶统一问题类给出一种算法。