Login / Signup

An Algorithm for the Retrieval of Unifiers from Discrimination Trees.

Hans de Nivelle
Published in: J. Autom. Reason. (1998)
Keyphrases