Liyu Zhang, Chen Yuan, Haibin Kan: Probabilistic Autoreductions. SOFSEM 2016: 418-429