@INPROCEEDINGS{valsprogress,
	author = "R. Howey and D. Long",
	title = "VAL's Progress: The Automatic Validation Tool for PDDL2.1 used in the International Planning Competition",
	booktitle = "Proceedings of the ICAPS 2003 workshop on "The Competition: Impact, Organization, Evaluation, Benchmarks"",
	year = "2003",
	pages = "28-37",
	address = "Trento, Italy",
	month = "June",
}