Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ijcai/EiterFTW07
AU - Eiter, Thomas
AU - Fink, Michael
AU - Tompits, Hans
AU - Woltran, Stefan
TI - Complexity Results for Checking Equivalence of Stratified Logic Programs.
BT - IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007
SP - 330
EP - 335
PY - 2007//
UR - http://ijcai.org/Proceedings/07/Papers/051.pdf
ER -
