On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography. - Edward A. Hirsch; Dmitry Itsykson; Ivan Monakhov; Alexander Smal (Electron. Colloquium Comput. Complex., 2010)