Rule-based integration: An extensive system of symbolic integration rules. - Albert D. Rich; Patrick Scheibe; Nasser M Abbasi (J. Open Source Softw., 2018)