%0 Conference Paper %1 conf/ijcai/BacchusY91 %A Bacchus, Fahiem %A Yang, Qiang %B IJCAI %D 1991 %E Mylopoulos, John %E Reiter, Raymond %I Morgan Kaufmann %K dblp %P 286-293 %T The Downward Refinement Property. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai91.html#BacchusY91 %@ 1-55860-160-0

@inproceedings{conf/ijcai/BacchusY91, added-at = {2019-08-20T00:00:00.000+0200}, author = {Bacchus, Fahiem and Yang, Qiang}, biburl = {https://www.bibsonomy.org/bibtex/29b1a9f6ecc7e49f6504ea5f4045ff7e9/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1991}, editor = {Mylopoulos, John and Reiter, Raymond}, ee = {http://ijcai.org/Proceedings/91-1/Papers/045.pdf}, interhash = {ebf215dbaeede3a7baca735e40e87bc4}, intrahash = {9b1a9f6ecc7e49f6504ea5f4045ff7e9}, isbn = {1-55860-160-0}, keywords = {dblp}, pages = {286-293}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:44:41.000+0200}, title = {The Downward Refinement Property.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai91.html#BacchusY91}, year = 1991 }