Completeness of hyper-resolution via the semantics of disjunctive logic programs

From MaRDI portal
Publication:1041788