A Hypersequent Calculus with Clusters for Linear Frames. - David Baelde; Anthony Lick; Sylvain Schmitz (Advances in Modal Logic, 2018)

A Hypersequent Calculus with Clusters for Tense Logic over Ordinals. - David Baelde; Anthony Lick; Sylvain Schmitz (FSTTCS, 2018)

Decidable XPath Fragments in the Real World. - David Baelde; Anthony Lick; Sylvain Schmitz (PODS, 2019)

A Hypersequent Calculus with Clusters for Data Logic over Ordinals. - Anthony Lick (TABLEAUX, 2019)

Logique de requêtes à la XPath: systèmes de preuve et pretinence pratique. (XPath-like Query Logics: Proof Systems and Real-World Applicability). - Anthony Lick (2019)