@inproceedings{BX-2011-Boronat,
	address       = "Dagstuhl, Germany",
	author        = "Artur Boronat",
	booktitle     = "{Proceedings of the Dagstuhl Seminar 11031 on Bidirectional Transformations}",
	editor        = "Zhenjiang Hu and Andy Schürr and Perdita Stevens and James Terwilliger",
	month         = "jan",
	number        = 1,
	pages         = "53",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Dagstuhl Reports}",
	title         = "{Inconsistency detection and resolution in heterogenous model-based specifications using Maude}",
	volume        = 1,
	year          = 2011,
}