On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators.

Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev

Browse the full ICDT paper archive.