Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/iclp/DixM92
AU - Dix, Jürgen
AU - Müller, Martin
TI - Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.
BT - Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992
SP - 15
EP - 28
PY - 1992//
ER -
