Logic program synthesis as problem reduction using combining forms

Jørgen Fischer Nilsson, Andreas Hamfelt, Steen Nikolaj Oldager

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalAutomated Software Engineering
    Volume8
    Issue number2
    Pages (from-to)167-193
    Publication statusPublished - 2001

    Cite this