Improving ENIGMA-style clause selection while learning from history
scientific article; zbMATH DE number 7437099
scientific article