Mika Siikarla Jari Peltonen Johannes Koskinen Towards Unambiguous Model Fragments. 180-195 2006 13 Nord. J. Comput. 3 db/journals/njc/njc13.html#SiikarlaPK06