@inproceedings{Buresh_Oppenheim,
    doi = {10.1109/ccc.2004.1313795},
    url = {https://doi.org/10.1109%2Fccc.2004.1313795},
    publisher = {{IEEE}},
    author = {J. Buresh-Oppenheim and T. Morioka},
    title = {Relativized {NP} search problems and propositional proof systems},
    booktitle = {Proceedings. 19th {IEEE} Annual Conference on Computational Complexity, 2004.}
}

@inproceedings{Buresh_Oppenheim, doi = {10.1109/ccc.2004.1313795}, url = {https://doi.org/10.1109%2Fccc.2004.1313795}, publisher = {{IEEE}}, author = {J. Buresh-Oppenheim and T. Morioka}, title = {Relativized {NP} search problems and propositional proof systems}, booktitle = {Proceedings. 19th {IEEE} Annual Conference on Computational Complexity, 2004.} }