Azzam Maraee Mira Balaban Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. 17-31 2007 conf/ecmdafa/2007 ECMDA-FA http://dx.doi.org/10.1007/978-3-540-72901-3_2 db/conf/ecmdafa/ecmdafa2007.html#MaraeeB07