Resolution for logic programming with universl quantifiers

AF Bowers, PM Hill, F Iba

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Translated title of the contributionResolution for logic programming with universl quantifiers
    Original languageEnglish
    Title of host publicationPLILP 97
    Pages63 - 77
    Publication statusPublished - 1997

    Handle.net

    Cite this