John Mylopoulos;Ray Reiter
-;-
On the computational complexity of temporal projection and plan validation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence