The Description Logic Handbook: Theory, Implementation and Applications
Algebraic Shift Register Sequences
