@dblp

Disjunctive Logic Program = Horn Program + Control Program.

, and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 33-46. Springer, (1998)

Links and resources

Tags