@Article{ht,

author = {R\u{a}zvan Diaconescu},

title = {Herbrand Theorems in arbitrary Institutions},

journal = {Information Processing Letters},

volume = 90,

pages = {29--37},

year = 2004}