Hans de Nivelle. An Algorithm for the Retrieval of Unifiers from Discrimination Trees. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 18-33, Springer, 1996.
Abstract is missing.