Comparing instance generation methods for automated reasoning
scientific article; zbMATH DE number 5149280