GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching. - Mohamed Amine Hannachi; Ismael Bouassida Rodriguez; Khalil Drira; Saúl E. Pomares Hernández (GbRPR, 2013)