Level mapping characterizations for quantitative and disjunctive logic programs

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche