2021年度冬のLAシンポジウムで "Extended MSO model checking via small vertex integrity" の発表をしました