Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tocl/ShenZ24
AU - Shen, Yuping
AU - Zhao, Xishun
TI - Computationally Hard Problems for Logic Programs under Answer Set Semantics.
JO - ACM Trans. Comput. Log.
VL - 25
IS - 4
SP - 1
EP - 26
PY - 2024//
DO - 10.1145/3676964
UR - https://doi.org/10.1145/3676964
ER -