@inproceedings{pistore,
  author = {M. Pistore and R. Bettin and P. Traverso},
  title = {Symbolic Techniques for Planning with Extended Goals in Non-Deterministic Domains},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {253-264}
}