On universal Horn classes categorical in some infinite power (1973)

by J Baldwin, A Lachlan
Venue:Algebra Universalis