@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}