Efficient and complete demo predicates for definite clause languages

    Research output: Book/ReportReportResearch

    Original languageEnglish
    Place of PublicationRoskilde
    Number of pages58
    Publication statusPublished - 1994
    SeriesDatalogiske Skrifter
    Number51
    ISSN0109-9779

    Cite this