@incollection{Albarghouthi_2013,
    doi = {10.1007/978-3-642-39799-8_67},
    url = {https://doi.org/10.1007%2F978-3-642-39799-8_67},
    year = {2013},
    publisher = {Springer Berlin Heidelberg},
    pages = {934--950},
    author = {Aws Albarghouthi and Sumit Gulwani and Zachary Kincaid},
    title = {Recursive Program Synthesis},
    booktitle = {Computer Aided Verification}
}

@incollection{Albarghouthi_2013, doi = {10.1007/978-3-642-39799-8_67}, url = {https://doi.org/10.1007%2F978-3-642-39799-8_67}, year = {2013}, publisher = {Springer Berlin Heidelberg}, pages = {934--950}, author = {Aws Albarghouthi and Sumit Gulwani and Zachary Kincaid}, title = {Recursive Program Synthesis}, booktitle = {Computer Aided Verification} }