Absolute versus probabilistic classification in a logical setting - Jain, S. (2013)
10.1016/j.tcs.2008.02.026