A Fixed Point Semantics for Logic Programs Extended with Cuts.

Wim Vanhoof, Remko Tronon, Maurice Bruynooghe

Browse the full LOPSTR paper archive.