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

by K Erol, D S Nau, V S Subrahmanian
Venue:Artificial Intelligence, Special Issue on Planning