Unification in linear time and space: a structured presentation, Internal Report B76-16, Instituto di Elaborazione delle Informazione, Consiglio Nazionale delle Ricerche (1976)

by A Martelli, U Montanari