Andreas Goerdt Unrestricted Resolution versus N-Resolution. 159-167 1992 93 Theor. Comput. Sci. 1 db/journals/tcs/tcs93.html#Goerdt92