An abductive framework for negation in disjunctive logic programming

From MaRDI portal
Publication:5236438