An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific

Original language	English
Title of host publication	Logics in Artificial Intelligence; Proceedings
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	18-33
Number of pages	16
ISBN (Print)	3540536868
Publication status	Published - 1996

Implementation of Resolution Refinements Based on Non-liftable Orders.
de Nivelle, J. M. G. G. (Principal Investigator)
1/05/92 → 30/04/96
Project: Research project

Cite this

@inbook{0bf4750f801047ac800622e6f77c9f4e,

title = "An Algorithm for the Retrieval of Unifiers from Discrimination Trees",

author = "\{de Nivelle\}, J.M.G.G.",

note = "Pagination: 16",

year = "1996",

language = "English",

isbn = "3540536868",

pages = "18--33",

booktitle = "Logics in Artificial Intelligence; Proceedings",

publisher = "Springer Verlag",

address = "Germany",

}