@InProceedings{KUW85,
author={Richard Karp and Eliezer Upfal and
Avi Wigderson},
title={Are search and decision problems
computationally equivalent?},
crossref={STOC17},
booktitle={Proceedings of the 17th STOC},
pages={464-475},
year={1985},
}