\input zb-basic
\input zb-ioport
\iteman{io-port 70701323}
\itemau{Benzm\"uller, Christoph}
\itemti{Verifying the modal logic cube is an easy task (For higher-order automated reasoners)}
\itemso{Verification, Induction, Termination Analysis, 117-128 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-17172-7\_7}
\end