Monadic logic and automata: recent developments | IEEE Conference Publication | IEEE Xplore