1. Capturing Bisimulation-Invariant Exponential-Time Complexity Classes;Electronic Proceedings in Theoretical Computer Science;2022-09-20
2. Datalog Unchained;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20
3. A complete logic for Database Abstract State Machines1;Logic Journal of the IGPL;2017-07-06
4. Synthesizing advanced transaction models using the situation calculus;Journal of Intelligent Information Systems;2009-07-02
5. RUL: A Declarative Update Language for RDF;The Semantic Web – ISWC 2005;2005