Yakaryilmaz, A. & Say, A. (2013) Proving the Power of Postselection. FUNDAMENTA INFORMATICAE , 123(1), 107-134.