Scott A. Smolka Bernhard Steffen Priority as Extremal Probability. 585-606 1996 8 Formal Asp. Comput. 5 db/journals/fac/fac8.html#SmolkaS96 http://dx.doi.org/10.1007/BF01211910