An Algorithm for the Retrieval of Unifiers from Discrimination Trees.

Hans de Nivelle An Algorithm for the Retrieval of Unifiers from Discrimination Trees. 5-25 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#Nivelle98