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