Graph-Based Representation and Reasoning - Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker (Springer, 2016)