Some characterization theorems for infinitary universal Horn logic without equality | Publicación