From Disjunctive to Normal Logic Programs via Unfolding and Shifting.

Yi Zhou

Browse the full ECAI paper archive.