\input zb-basic
\input zb-ioport
\iteman{io-port 50191089}
\itemau{Eshuis, Rik; Kumar, Akhil}
\itemti{An integer programming based approach for verification and diagnosis of workflows}
\itemso{Data Knowl. Eng. 69, No. 8, 816-835 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1016/j.datak.2010.03.003}
\end