Implementation of Resolution Refinements Based on Non-liftable Orders.

de Nivelle, J.M.G.G. (Principal Investigator)

Project: Research project

Status	Finished
Effective start/end date	1/05/92 → 30/04/96

An Algorithm for the Retrieval of Unifiers from Discrimination Trees
de Nivelle, J. M. G. G., 1996, Logics in Artificial Intelligence; Proceedings. Berlin: Springer Verlag, p. 18-33 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific