Jürgen Kämper Nonuniform Proof Systems: A New Framework to Describe Nonuniform and Probabilistic Complexity Classes. 305-331 1991 85 Theor. Comput. Sci. 2 db/journals/tcs/tcs85.html#Kamper91