Complexity, decidability and undecidability results for domain-independent planning (1995)

by K Erol, D Nau, V S Subrahmanian
Venue:Artificial Intelligence