\makeatletter \@ifundefined{beginbibabs}{\def\beginbibabs{\begin{quotation}\noindent} \def\endbibabs{\end{quotation}}}{} \makeatother \begin{thebibliography}{GMR89} \bibitem[GMR89]{GoldwasserMiRa89} Shafi Goldwasser, Silvio Micali, and Charles Rackoff. \newblock The knowledge complexity of interactive proof systems. \newblock {\em SIAM J. Comput.}, 18(1):186--208, 1989. \end{thebibliography}