Symeon Bozapalidis Antonios Kalampakas An axiomatization of graphs. 19-61 2004 41 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-004-0149-8 db/journals/acta/acta41.html#BozapalidisK04