Dynamic Tractable Reasoning - Holger Andreas (Springer, 2020)