Marta Cialdea Mayer Carla Limongelli Andrea Orlandini Valentina Poggioni Linear temporal logic as an executable semantics for planning languages. 63-89 2007 16 Journal of Logic, Language and Information 1 http://dx.doi.org/10.1007/s10849-006-9022-1 db/journals/jolli/jolli16.html#MayerLOP07