1. Separating graph logic from MSO;Antonopoulos,2009
2. The complexity of clausal fragments of LTL;Artale,2013
3. Global and local graph modifiers;Aucher;Electron. Notes Theor. Comput. Sci.,2009
4. Sabotage modal logic: some model and proof theoretic aspects;Aucher,2015
5. Why propositional quantification makes modal logics on trees robustly hard?;Bednarczyk,2019