\input zb-basic
\input zb-ioport
\iteman{io-port 70719137}
\itemau{Aszal\'os, L\'aszl\'o; Herzig, Andreas}
\itemti{A protocol for execution of distributed logic programs}
\itemso{IDC, 21-30 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-03214-1\_3}
\end