\input zb-basic
\input zb-ioport
\iteman{io-port 70210380}
\itemau{Bozzelli, Laura; Legay, Axel; Pinchinat, Sophie}
\itemti{Hardness of preorder checking for basic formalisms}
\itemso{LPAR (Dakar), 119-135 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-17511-4\_8}
\end