Victor Harnik Michael Makkai Applications of Vaught Sentences and the Covering Theorem. 171-187 1976 41 J. Symb. Log. 1 db/journals/jsyml/jsyml41.html#HarnikM76