Hereditary Harrop formulas and uniform proof systems (1987)

by D A Miller, G Nadathur, A Scedrov
Venue:2nd Symp. Logic in Computer Science