@inproceedings{inproceedingsce7b2c3e,
title   = {Using α-ctl to specify complex planning goals},
author = {Pereira, Silvio do Lago and Barros, Leliane Nunes de},
year = {2008},
doi = {10.1007/978-3-540-69937-8_23},
publisher = {Springer},
booktitle   = {International Workshop on Logic, Language, Information, and Computation - WoLLIC}
}