An Alternative Characterization of Disjunctive Logic Programs

David W. Reed, Donald W. Loveland, Bruce T. Smith. An Alternative Characterization of Disjunctive Logic Programs. In ISLP. pages 54-68, 1991.