%0 Conference Paper %1 conf/ijcai/EiterFTW07 %A Eiter, Thomas %A Fink, Michael %A Tompits, Hans %A Woltran, Stefan %B IJCAI %D 2007 %E Veloso, Manuela M. %K dblp %P 330-335 %T Complexity Results for Checking Equivalence of Stratified Logic Programs. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#EiterFTW07

@inproceedings{conf/ijcai/EiterFTW07, added-at = {2019-08-20T00:00:00.000+0200}, author = {Eiter, Thomas and Fink, Michael and Tompits, Hans and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/299057fd851263da81b0c9ac10bae82ad/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Veloso, Manuela M.}, ee = {http://ijcai.org/Proceedings/07/Papers/051.pdf}, interhash = {bfdffd274851c9b5940f44ec56c8f3fc}, intrahash = {99057fd851263da81b0c9ac10bae82ad}, keywords = {dblp}, pages = {330-335}, timestamp = {2019-08-21T11:49:10.000+0200}, title = {Complexity Results for Checking Equivalence of Stratified Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#EiterFTW07}, year = 2007 }