Michael H. Albert Ross Willard Injectives in Finitely Generated Universal Horn Classes. 786-792 1987 52 J. Symb. Log. 3 db/journals/jsyml/jsyml52.html#AlbertW87