Martelli A., Montanari U. Unification in linear time and space: a structured presentation. Internal note IEI-B76-16, 1976. |

Abstract (English) |
In its simplest form, the unification problem can be expressed as follows: Given two terms t1 and t2, with some variables, find, if it exists, the simplest substitution as to make them equal. The resulting term is called the most general unifier and is unique up to variable renaming. | |

Subject | Unification Resolution |

1) Download Document PDF |

Open access Restricted Private