@inproceedings{jensen,
  author = {R. M. Jensen and M. M. Veloso and M. H. Bowling},
  title = {OBDD-Based Optimistic and Strong Cyclic Adversarial Planning},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {265-276}
}