Linear unification
作者：
Highlights：
•
摘要
A unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input.
论文关键词：
论文评审过程：Received 29 September 1976, Available online 3 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(78)90043-0
