@inproceedings{inproceedings789a43ea,
title   = {Planning task validation},
author = {Menezes, M. V and Barros, Leliane Nunes de and Pereira, Silvio do Lago},
year = {2012},
publisher = {ICAPS},
booktitle   = {SPARK 2012 - Scheduling and Planning Applications Workshop at ICAPS, 22}
}