@article{Chistikov_2017,
    doi = {10.1007/s00236-017-0297-2},
    url = {https://doi.org/10.1007%2Fs00236-017-0297-2},
    year = {2017},
    month = {apr},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {54},
    number = {8},
    pages = {729--764},
    author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar},
    title = {Approximate counting in {SMT} and value estimation for probabilistic programs},
    journal = {Acta Informatica}
}

@article{Chistikov_2017, doi = {10.1007/s00236-017-0297-2}, url = {https://doi.org/10.1007%2Fs00236-017-0297-2}, year = {2017}, month = {apr}, publisher = {Springer Science and Business Media {LLC}}, volume = {54}, number = {8}, pages = {729--764}, author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar}, title = {Approximate counting in {SMT} and value estimation for probabilistic programs}, journal = {Acta Informatica} }