@INPROCEEDINGS{rehearsal,
	author = "P. Gregory and A. Miller and P. Prosser",
	title = "Solving the Rehearsal Problem with Planning and Model Checking",
	booktitle = "Proceedings of ECAI'04 Workshop on Modelling and Solving Problems with Constraints",
	year = "2004",
}