%0 Conference Paper %1 conf/ijcai/BeckDE16 %A Beck, Harald %A Dao-Tran, Minh %A Eiter, Thomas %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K dblp %P 929-935 %T Equivalent Stream Reasoning Programs. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BeckDE16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/BeckDE16, added-at = {2019-08-20T00:00:00.000+0200}, author = {Beck, Harald and Dao-Tran, Minh and Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/25e6841525da4767a8f74a74a21f336aa/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/136}, interhash = {921f378d0a3fb47b173bc96eac03ecdf}, intrahash = {5e6841525da4767a8f74a74a21f336aa}, isbn = {978-1-57735-771-1}, keywords = {dblp}, pages = {929-935}, publisher = {IJCAI/AAAI Press}, timestamp = {2019-08-21T11:55:49.000+0200}, title = {Equivalent Stream Reasoning Programs.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BeckDE16}, year = 2016 }