%0 Conference Paper %1 conf/sara/AmirM00 %A Amir, Eyal %A McIlraith, Sheila A. %B SARA %D 2000 %E Choueiry, Berthe Y. %E Walsh, Toby %I Springer %K dblp %P 247-259 %T Improving the Efficiency of Reasoning Through Structure-Based Reformulation. %U http://dblp.uni-trier.de/db/conf/sara/sara2000.html#AmirM00 %V 1864 %@ 3-540-67839-5

@inproceedings{conf/sara/AmirM00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Amir, Eyal and McIlraith, Sheila A.}, biburl = {https://www.bibsonomy.org/bibtex/2cd5b2730fb1fba29b6a46f5ee12f9d7a/dblp}, booktitle = {SARA}, crossref = {conf/sara/2000}, editor = {Choueiry, Berthe Y. and Walsh, Toby}, ee = {https://doi.org/10.1007/3-540-44914-0_15}, interhash = {49e50e2265c11ec5c2d8091585cd68ff}, intrahash = {cd5b2730fb1fba29b6a46f5ee12f9d7a}, isbn = {3-540-67839-5}, keywords = {dblp}, pages = {247-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:32:41.000+0200}, title = {Improving the Efficiency of Reasoning Through Structure-Based Reformulation.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2000.html#AmirM00}, volume = 1864, year = 2000 }