A platform for restriction mapping

Chut N Yee, Trevor I Dix

    Research output: Contribution to journalArticleResearchpeer-review

    Original languageEnglish
    Pages (from-to)81 - 99
    Number of pages19
    JournalJournal of Logic Programming
    Publication statusPublished - 1997

    Cite this