Listing graphs that satisfy first-order sentences
scientific article; zbMATH DE number 682627
scientific article