Reasoning about UML/OCL class diagrams using constraint logic programming and formula | Publicación