@misc{indiciae514aae4bf502, title = {Solving the Class Diagram Restructuring Transformation Case with FunnyQT}, author = {Tassilo Horn}, year = {2013}, doi = {10.4204/eptcs.135.9}, url = {https://arxiv.org/abs/1312.0349}, note = {Source identifier: 1312.0349} }