j-aij-66-125
Bernhard Nebel
and
Christer Bäckström
.
On the computational complexity of temporal projection, planning, and plan validation. [
abstract
] [
postscript
] [
bibtex
]
Artificial Intelligence, vol. 66 (1994), pp. 125-160.