James Harland Success and Failure for Hereditary Harrop Formulae. 1-29 1993 17 J. Log. Program. 1 db/journals/jlp/jlp17.html#Harland93