@inproceedings{b0dbda15c58540a28bb3f85ed2562f76,
title = "Proving symmetries by model transformation",
author = "Christopher Mears and Todd Niven",
year = "2010",
language = "English",
pages = "1 -- 15",
editor = "Toni Mancini and Pearson, {Justin K}",
booktitle = "Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation",
publisher = "Uppsala Universitet (University of Uppsala)",
address = "Sweden",
note = "International Workshop on Constraint Modelling and Reformulation 2010, ModRef 2010 ; Conference date: 01-01-2010",
}