Chitta Baral Vladik Kreinovich Raul Trejo Computational Complexity of Planning with Temporal Goals. 509-514 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#BaralKT01