1. Aumueller, D., Do, H.H., Massmann, S., Rahm, E.: Schema and ontology matching with coma++. In: Özcan, F. (ed.) SIGMOD Conference, pp. 906–908. ACM (2005)
2. Balogh, Z., Varró, D.: Model transformation by example using inductive logic programming. Software and Systems Modeling 8(3), 347–364 (2009)
3. Bézivin, J., Dupé, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the atl model transformation language: Transforming xslt into xquery. In: 2nd OOPSLA Workshop on Generative Techniques in the Context of Model Driven Architecture (2003)
4. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: Viatra: Visual automated transformations for formal verification and validation of uml models. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering. IEEE Computer Society (2002)
5. Daniele, L.M.: Towards a Rule-based Approach for Context-Aware Applications. Ph.D. thesis, University of Twente The Netherlands (May 2006)