Automated reasoning with a constraint-based metainterpreter

    Research output: Contribution to journalJournal article

    Original languageEnglish
    JournalJournal of Logic and Algebraic Programming
    Volume37
    Issue number1-3
    Pages (from-to)213-253
    ISSN2352-2208
    Publication statusPublished - 1998

    Cite this