@INPROCEEDINGS{vvplnwshp,
	author = "D. Long and M. Fox and R. Howey",
	title = "Planning Domains and Plans: Validation and Analysis",
	booktitle = "Proceedings of the Verification and Validation in Planning workshop, ICAPS'09",
	year = "2009"
}