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

Original language	English
Journal	Automated Software Engineering
Volume	8
Issue number	2
Pages (from-to)	167-193
Publication status	Published - 2001

Access to Document

@article{4f2ed06e85ba40139ce90f6b3f88de9c,

title = "Logic program synthesis as problem reduction using combining forms",

author = "Nilsson, {J{\o}rgen Fischer} and Andreas Hamfelt and Oldager, {Steen Nikolaj}",

year = "2001",

language = "English",

volume = "8",

pages = "167--193",

journal = "Automated Software Engineering",

issn = "0928-8910",

publisher = "Springer New York",

number = "2",

}