Beckmann, A., Razafindrakoto, J., & Razafindrakoto, J. (2017). Total Search Problems in Bounded Arithmetic and Improved Witnessing. Logic, Language, Information, and Computation, 10388, pp. 31-47. doi:10.1007/978-3-662-55386-2_3
Chicago Style CitationBeckmann, Arnold, Jean-Jose Razafindrakoto, and Jean Razafindrakoto. "Total Search Problems in Bounded Arithmetic and Improved Witnessing." Logic, Language, Information, and Computation 10388 (2017): 31-47.
MLA CitationBeckmann, Arnold, Jean-Jose Razafindrakoto, and Jean Razafindrakoto. "Total Search Problems in Bounded Arithmetic and Improved Witnessing." Logic, Language, Information, and Computation 10388 (2017): 31-47.
Warning: These citations may not always be 100% accurate.