A fixed point semantics for logic programs extended with cuts

Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)238-257
Number of pages20
JournalLogic Based Program Synthesis and Transformation, LOPSTR 2002
Volume2664
Publication statusPublished - 2003

Cite this