Automated reasoning for attributed graph properties | Publicación