Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach | Publicación