Deriving Formulas for Integer Sequences Using Inductive Programming. - Les De Ridder; Thijs Vercammen (BNCAI, 2018)