@inproceedings{ECMDA-FA-2007-MaraeeB,
	author        = "Azzam Maraee and Mira Balaban",
	booktitle     = "{Proceedings of the Third European Conference on Model Driven Architecture — Foundations and Applications}",
	doi           = "10.1007/978-3-540-72901-3_2",
	isbn          = "978-3-540-72900-6",
	pages         = "17--31",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets}",
	volume        = 4530,
	year          = 2007,
}