\input zb-basic
\input zb-ioport
\iteman{io-port 50050999}
\itemau{Krdzavac, Nenad; Gasevic, Dragan; Devedzic, Vladan}
\itemti{Model driven engineering of a tableau algorithm for description logics}
\itemso{Comput. Sci. Inf. Syst. 6, No. 1, 23-43 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.2298/CSIS0901023K}
\end