Achieving compositionality of the stable model semantics for Smodels programs

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)717-761
JournalTheory and Practice of Logic Programming
Volume8
Issue number5-6
Publication statusPublished - 2008
MoE publication typeA1 Journal article-refereed

ID: 3449568