On the correctness of the replacement operation for CLP modules

S. Etalle, M. Gabbrielli

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageEnglish
    JournalJournal of Functional and Logic Programming
    Volume1996
    Issue number1
    Publication statusPublished - 1996

    Cite this