Locally finite countably-categorical Horn theories
locally finite countably-categorical Horn classes
scientific article; zbMATH DE number 4158611