Keyword:monadic second-order logic

Papers
EasyChair Preprint no. 8615