Freitas, et al.. Reasoning with Graphs. Elsevier BV, 2006, doi:10.1016/j.entcs.2006.05.046.