Leonard Berman The Complexitiy of Logical Theories. 71-77 1980 11 Theor. Comput. Sci. db/journals/tcs/tcs11.html#Berman80