Some characterization theorems for infinitary universal Horn logic without equality
scientific article