Graph Structures for Knowledge Representation and Reasoning - Croitoru; Gem Stapleton; Pierre Marquis; Sebastian Rudolph; Marquis, Pierre; Rudolph, Sebastian; Stapleton, Gem (Springer International Publishing, 2018)