Andreas Blass Yuri Gurevich Vladik Kreinovich Luc Longpré A Variation on the Zero-One Law. 29-30 1998 67 Inf. Process. Lett. 1 db/journals/ipl/ipl67.html#BlassGKL98 http://dx.doi.org/10.1016/S0020-0190(98)00078-7