Equivalent Stream Reasoning Programs.

Harald Beck, Minh Dao-Tran, Thomas Eiter

Browse the full IJCAI paper archive.