Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.

Ivan Lanese Ugo Montanari Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. 123-151 2007 7 TPLP 1-2 http://dx.doi.org/10.1017/S147106840600281X db/journals/tplp/tplp7.html#LaneseM07