@Inproceedings{EPTCS93.5, author = {Sch\"olzel, Hanna and Ehrig, Hartmut and Maximova, Maria and Garbriel, Karsten and Hermann, Frank}, year = {2012}, title = {Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories}, editor = {Golas, Ulrike and Soboll, Thomas}, booktitle = {{\rm Proceedings Seventh ACCAT Workshop on} Applied and Computational Category Theory , {\rm Tallinn, Estonia, 01/04/2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {93}, publisher = {Open Publishing Association}, pages = {83-104}, doi = {10.4204/EPTCS.93.5}, }