@inproceedings{castellini,
  author = {C. Castellini and E. Giunchiglia and A. Tacchella},
  title = {Improvements to SAT-Based Conformant Planning},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {241-252}
}