Rod Downey Alexander G. Melnikov Keng Meng Ng 851-880 2015 166 Ann. Pure Appl. Log. 9 https://doi.org/10.1016/j.apal.2015.04.003 db/journals/apal/apal166.html#DowneyMN15