A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs.

Cristian Papp

Browse the full LPAR paper archive.