Walter Baur Volker Strassen The Complexity of Partial Derivatives. 317-330 1983 22 Theor. Comput. Sci. db/journals/tcs/tcs22.html#BaurS83