\input zb-basic
\input zb-ioport
\iteman{io-port 71039975}
\itemau{Fokina, Ekaterina B.}
\itemti{Index sets of computable structures with decidable theories}
\itemso{CiE, 290-296 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-73001-9\_30}
\end