Uwe Schöning Minimal pairs for P 41-48 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#Schoning84