Eliseo Marzal Laura Sebastia Eva Onaindia Detection of unsolvable temporal planning problems through the use of landmarks. 919-920 2008 ECAI http://dx.doi.org/10.3233/978-1-58603-891-5-919 conf/ecai/2008 db/conf/ecai/ecai2008.html#MarzalSO08