Dale Miller Gopalan Nadathur Andre Scedrov Hereditary Harrop Formulas and Uniform Proof Systems 98-105 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#MillerNS87