@article{fac.2010,
  title = "A lazy approach to symmetry reduction",
  author = "Thomas Wahl and Vijay D'Silva",
  year = "2010",
  journal = "Formal Aspects of Computing",
  number = "6",
  pages = "713-733",
  volume = "22",
}