On the expressiveness of temporal logic programming

Datalog LITE: a deductive query language with linear time model checking

ACM Transactions on Computational Logic (TOCL)

Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states

Artificial Intelligence Review

Foundations of data-aware process analysis: a database theory perspective

Proceedings of the 32nd symposium on Principles of database systems

Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)