Logic program synthesis as problem reduction using combining forms

Publication: Research - peer-review › Journal article – Annual report year: 2001