Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model.

Teodor C. Przymusinski

Browse the full PODS paper archive.