@inproceedings{conf/wollic/PereiraB08, title = {Using alpha-ctl to Specify Complex Planning Goals.}, author = {Silvio do Lago Pereira and Leliane Nunes de Barros}, booktitle = {WoLLIC}, crossref = {conf/wollic/2008}, editor = {Wilfrid Hodges and Ruy J. G. B. de Queiroz}, pages = {260-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2008.html#PereiraB08}, volume = {5110}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/218bda8c64c0eae46a8b453af0a990f30/dblp}, description = {dblp}, date = {2008-06-30}, ee = {http://dx.doi.org/10.1007/978-3-540-69937-8_23}, isbn = {978-3-540-69936-1}, keywords = {dblp } }