1. Ontology-Based Data Access;ACM Transactions on Database Systems;2014-12-30
2. Pattern logics and auxiliary relations;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
3. Datalog and constraint satisfaction with infinite templates;Journal of Computer and System Sciences;2013-02
4. A rendezvous of logic, complexity, and algebra;ACM Computing Surveys;2009-12
5. Homomorphism preservation theorems;Journal of the ACM;2008-07