%0 Journal Article %1 journals/ftpl/CheungS16 %A Cheung, Alvin %A Solar-Lezama, Armando %D 2016 %J Foundations and Trends in Programming Languages %K %N 1 %P 1-94 %T Computer-Assisted Query Formulation. %U http://dblp.uni-trier.de/db/journals/ftpl/ftpl3.html#CheungS16 %V 3

@article{journals/ftpl/CheungS16, added-at = {2023-12-12T21:47:33.000+0100}, author = {Cheung, Alvin and Solar-Lezama, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2fc71a5d8efc6c5a7f5d4d5772b4cde8d/admin}, ee = {http://dx.doi.org/10.1561/2500000018}, interhash = {431572735fac47f84fb330c1b18cec06}, intrahash = {fc71a5d8efc6c5a7f5d4d5772b4cde8d}, journal = {Foundations and Trends in Programming Languages}, keywords = {}, number = 1, pages = {1-94}, timestamp = {2023-12-12T21:47:33.000+0100}, title = {Computer-Assisted Query Formulation.}, url = {http://dblp.uni-trier.de/db/journals/ftpl/ftpl3.html#CheungS16}, volume = 3, year = 2016 }