Original language | English |
---|---|
Journal | Automated Software Engineering |
Volume | 8 |
Issue number | 2 |
Pages (from-to) | 167-193 |
Publication status | Published - 2001 |
Logic program synthesis as problem reduction using combining forms
Jørgen Fischer Nilsson, Andreas Hamfelt, Steen Nikolaj Oldager
Research output: Contribution to journal › Journal article › Research › peer-review