\input zb-basic
\input zb-ioport
\iteman{io-port 02077156}
\itemau{Koga, Yasuyuki; Hirowatari, Eiju; Arikawa, Setsuo}
\itemti{Explanation-based reuse of Prolog programs.}
\itemso{Arikawa, Setsuo (ed.) et al., Algorithmic learning theory. 4th international workshop on analogical and inductive inference, AII '94, 5th international workshop on algorithmic learning theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-58520-6 /SC). Lect. Notes Comput. Sci. 872, 149-160 (1994).}
\itemcc{}
\itemut{}
\itemli{}
\end