On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
scientific article; zbMATH DE number 6113700