[1]
E. Biermann, “Local Confluence Analysis of Consistent EMF Transformations”, ECEASST, vol. 38, Sep. 2011.