@article{Raj-2017-BMC,
    author = {S. Raj and F. Hussain and Z. Husein and N. Torosdagli and D. Turgut and N. Deo and S. Pattanaik and C.-C. Chang and S. Kumar},
    journal = {BMC Bioinformatics},
    month = {June},
    number = {8},
    pages = {245:1-245:11},
    title = {A theorem proving approach for automatically synthesizing visualizations of flow cytometry data},
    volume = {18},
    year = {2017}
}