@article {23546,
	title = {Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach},
	journal = {The Empirical Software Engineering Journal (EMSE)},
	year = {2015},
	pages = {1-44},
	publisher = {Springer},
	author = {Ali, Shaukat and Muhammad Zohaib {Iqbal} and Khalid, Maham and Arcuri, Andrea}
}
