Checking modes of HAL programs

    Research output: Contribution to journalArticleResearchpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)623 - 667
    Number of pages45
    JournalTheory and Practice of Logic Programming
    Volume5
    Issue number6
    DOIs
    Publication statusPublished - 2005

    Cite this