Typing Weak MSOL Properties.

Sylvain Salvati, Igor Walukiewicz

Browse the full FOSSACS paper archive.