%0 Journal Article %1 journals/ipl/AvniK13 %A Avni, Guy %A Kupferman, Orna %D 2013 %J Inf. Process. Lett. %K dblp %N 22-24 %P 901-905 %T When does abstraction help? %U http://dblp.uni-trier.de/db/journals/ipl/ipl113.html#AvniK13 %V 113

@article{journals/ipl/AvniK13, added-at = {2013-11-06T00:00:00.000+0100}, author = {Avni, Guy and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2a06a8f2e6dcc62b385e5f887dff6fc67/dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2013.09.007}, interhash = {dc3cd4550caf29a57807090a216d40f5}, intrahash = {a06a8f2e6dcc62b385e5f887dff6fc67}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = {22-24}, pages = {901-905}, timestamp = {2013-11-07T11:33:48.000+0100}, title = {When does abstraction help?}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl113.html#AvniK13}, volume = 113, year = 2013 }