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.
@inproceedings{Nivelle96,
title = {An Algorithm for the Retrieval of Unifiers from Discrimination Trees},
author = {Hans de Nivelle},
year = {1996},
researchr = {https://researchr.org/publication/Nivelle96},
cites = {0},
citedby = {0},
pages = {18-33},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings},
editor = {José Júlio Alferes and Luís Moniz Pereira and Ewa Orlowska},
volume = {1126},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61630-6},
}