Andreas Steigmiller, Birte Glimm, Thorsten Liebig: Reasoning with Nominal Schemas through Absorption. J. Autom. Reason. 53(4): 351-405 (2014)