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

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