Progic 2007: The Third Workshop on Combining Probability and Logic, University of Kent, Canterbury, 5–7 September 2007. tr 2007, 1 (6).