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

by Kutluhan Erol, Dana S Nau, V S Subrahmanian
Venue:176 [FH02] [FL02] [GB94] [Giu00] [GK03] P. Ferraris and