1. Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, Version 1.1 (2003)
2. Lecture Notes in Computer Science;A. Ankolekar,2002
3. Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. of ICAPS 2004 (2004)
4. Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Nebel, B. (ed.) Proc. of IJCAI 2001 (2001)
5. Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)