An Algorithm for the Retrieval of Unifiers from Discrimination Trees

J.M.G.G. de Nivelle

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    Original languageEnglish
    Title of host publicationLogics in Artificial Intelligence; Proceedings
    Place of PublicationBerlin
    PublisherSpringer Verlag
    Pages18-33
    Number of pages16
    ISBN (Print)3540536868
    Publication statusPublished - 1996

    Cite this