1. Acretoaie, V., Störrle, H.: Hypersonic - Model Analysis as a Service. In: Sauer, S., Wimmer, M., Genero, M., Qadeer, S. (eds.) Joint Proc. MODELS 2014 Poster Session and ACM Student Research Competition. CEUR, vol. 1258, pp. 1–5 (2014),
http://ceur-ws.org/Vol-1258
2. Lecture Notes in Computer Science;M. Alanen,2003
3. Cook, S.A.: The complexity of theorem-proving procedures. In: Proc. 3rd Ann. ACM Symp. Theory of Computing, pp. 151–158. ACM (1971)
4. Cordy, J.R., Inoue, K., Koschke, R., Jarzabek, S. (eds.): Proc. 4th Intl. Ws. Software Clones (IWSC 2010). ACM (2010)
5. Deißenböck, F., Hummel, B., Juergens, E., Pfaehler, M., Schätz, B.: Model Clone Detection in Practice. In: Cordy, et al. (eds.) [4], pp. 57–64