Hereditary Harrop formulas and uniform proof systems (0)

by Dale Miller, Gopalan Nadathur, Andre Scedrov
Venue:In Second Annual Symposium on Logic in Computer Science