%0 Conference Paper %1 conf/socs/BetzalelFS15 %A Betzalel, Oded %A Felner, Ariel %A Shimony, Solomon Eyal %B SOCS %D 2015 %E Lelis, Levi %E Stern, Roni %I AAAI Press %K dblp %P 151-155 %T Type System Based Rational Lazy IDA. %U http://dblp.uni-trier.de/db/conf/socs/socs2015.html#BetzalelFS15 %@ 978-1-57735-732-2

@inproceedings{conf/socs/BetzalelFS15, added-at = {2015-06-12T00:00:00.000+0200}, author = {Betzalel, Oded and Felner, Ariel and Shimony, Solomon Eyal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f9478aa690c598bd311627d0b5475e6d/dblp}, booktitle = {SOCS}, crossref = {conf/socs/2015}, editor = {Lelis, Levi and Stern, Roni}, ee = {http://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/view/11015}, interhash = {178ea2162a332a8bfb306a2165d968ca}, intrahash = {f9478aa690c598bd311627d0b5475e6d}, isbn = {978-1-57735-732-2}, keywords = {dblp}, pages = {151-155}, publisher = {AAAI Press}, timestamp = {2016-02-02T11:51:10.000+0100}, title = {Type System Based Rational Lazy IDA.}, url = {http://dblp.uni-trier.de/db/conf/socs/socs2015.html#BetzalelFS15}, year = 2015 }