Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.

Linh Anh Nguyen

Browse the full JELIA paper archive.