Foundations of Rule-Based Query Answering. - François Bry; Norbert Eisinger; Thomas Eiter; Tim Furche; Georg Gottlob; Clemens Ley; Benedikt Linse; Reinhard Pichler; Fang Wei 001 (Reasoning Web, 2007)

Taming Existence in RDF Querying. - François Bry; Tim Furche; Clemens Ley; Benedikt Linse; Bruno Marnette (RR, 2008)

SPARQLog: SPARQL with Rules and Quantification. - François Bry; Tim Furche; Bruno Marnette; Clemens Ley; Benedikt Linse; Olga Poppe (Semantic Web Information Management, 2009)

How big must complete XML query languages be? - Clemens Ley; Michael Benedikt (ICDT, 2009)

What You Must Remember When Processing Data Words. - Michael Benedikt; Clemens Ley; Gabriele Puppis (AMW, 2010)

Automata vs. Logics on Data Words. - Michael Benedikt; Clemens Ley; Gabriele Puppis (CSL, 2010)

Datalog Relaunched: Simulation Unification and Value Invention. - François Bry; Tim Furche; Clemens Ley; Bruno Marnette; Benedikt Linse; Sebastian Schaffert (Datalog, 2010)

On the Use of Guards for Logics with Data. - Thomas Colcombet; Clemens Ley; Gabriele Puppis (MFCS, 2011)

Querying Schemas With Access Restrictions. - Michael Benedikt; Pierre Bourhis; Clemens Ley (Proc. VLDB Endow., 2012)

Logics with rigidly guarded data tests. - Thomas Colcombet; Clemens Ley; Gabriele Puppis (Log. Methods Comput. Sci., 2015)

Analysis of Schemas with Access Restrictions. - Michael Benedikt; Pierre Bourhis; Clemens Ley (ACM Trans. Database Syst., 2015)

Limiting Until in Ordered Tree Query Languages. - Michael Benedikt; Clemens Ley (ACM Trans. Comput. Log., 2016)