The problem of finite axiomatizability for strongly minimal graph theories
groups that act transitively on graphs of bounded valency
scientific article; zbMATH DE number 4200232