De Ridder L., Vercammen T. (2019) Deriving Formulas for Integer Sequences Using Inductive Programming. In: Atzmueller M., Duivesteijn W. (eds) Artificial Intelligence. BNAIC 2018. Communications in Computer and Information Science, vol 1021. Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-31978-6_2