@Misc{Hoey882013,
	author={Marek  Grzes and Pascal  Poupart and Jesse  Hoey},
	title={Isomorph-free Branch and Bound Search for Finite State Controllers},
	booktitle={Proceedings of International Joint Conference on Artificial Intelligence},
	address={Beijing, China},
	year={2013}
}