@inproceedings{ DBLP:conf/ijcai/BacchusY91,
  title = {The Downward Refinement Property}
}
,
  url = {DRPBacchusYang1991.pdf}
}
,
  booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-1991)}
}
,
  author = {Fahiem Bacchus and Qiang Yang}
}
,
  area = {Planning (including under Uncertainty)}
}
,
  year = {1991}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {286-293}
}