Ellis Horowitz A Unified View of the Complexity of Evaluation and Interpolation Acta Inf. 3 1974 123-133 db/journals/acta/acta3.html#Horowitz74