@inproceedings{AOQModel,
  title = "Models and Symmetry Breaking for 'Peaceable Armies of Queens'",
  author = "Karen Petrie with Barbara Smith and Ian Gent",
  year = "2002",
  journal = "In Proc. International Workshop on Modelling and Solving Problems with Constraints",
  url = "http://www-users.cs.york.ac.uk/~tw/ecai02/",
}