@conference {693,
	title = {Modeling and Reasoning with Multirelations, and their encoding in Alloy},
	booktitle = {16th International Workshop in OCL and Textual Modeling},
	year = {2016},
	note = {<p><a href="http://oclworkshop.github.io/2016/" target="_blank">http://oclworkshop.github.io/2016/</a></p>},
	month = {10/2016},
	url = {http://oclworkshop.github.io/2016/papers/OCL16_paper_10.pdf},
	author = {Sun, Peiyuan and Diskin, Zinovy and Micha{\l} Antkiewicz and Krzysztof Czarnecki}
}