\input zb-basic
\input zb-ioport
\iteman{io-port 70960576}
\itemau{Courcelle, Bruno}
\itemti{Special tree-width and the verification of monadic second-order graph pr operties}
\itemso{FSTTCS, 13-29 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.4230/LIPIcs.FSTTCS.2010.13}
\end