,
Springer
Journal of Automated Reasoning
Logics for Artificial Intelligence

de Nivelle, H. (1998). An algorithm for the retrieval of unifiers from discrimination trees. In Journal of Automated Reasoning (Vol. 20, pp. 5–25). Springer.