%0 Conference Paper %1 conf/fmcad/LalQ14 %A Lal, Akash %A Qadeer, Shaz %B FMCAD %D 2014 %I IEEE %K dblp %P 147-154 %T A program transformation for faster goal-directed search. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#LalQ14 %@ 978-0-9835678-4-4

@inproceedings{conf/fmcad/LalQ14, added-at = {2015-01-08T00:00:00.000+0100}, author = {Lal, Akash and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/28df4af52fc4cbab23f9b47fd94b1dffd/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2014}, ee = {http://dx.doi.org/10.1109/FMCAD.2014.6987607}, interhash = {332043e051db171d50c0c1168e19bbe2}, intrahash = {8df4af52fc4cbab23f9b47fd94b1dffd}, isbn = {978-0-9835678-4-4}, keywords = {dblp}, pages = {147-154}, publisher = {IEEE}, timestamp = {2015-06-18T18:48:55.000+0200}, title = {A program transformation for faster goal-directed search.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#LalQ14}, year = 2014 }