\input zb-basic
\input zb-ioport
\iteman{io-port 05456563}
\itemau{Zhang, Yan}
\itemti{Logic program-based updates.}
\itemso{ACM Trans. Comput. Log. 7, No. 3, 421-472 (2006).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1149114.1149115}
\end