TITLE     : Unification in linear time and space: a structured presentation
AUTHOR(S) : Martelli A, Montanari U
TYPE      : Other
YEAR      : 1976
CODE      : 422471

*** DO NOT EDIT THIS FILE ***