Martin Kummer Frank Stephan On the Structure of Degrees of Inferability. 214-238 1996 52 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss52.html#KummerS96