@article{Mateescu_2005,
    doi = {10.1007/s10009-005-0194-9},
    url = {https://doi.org/10.1007%2Fs10009-005-0194-9},
    year = {2005},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {8},
    number = {1},
    pages = {37--56},
    author = {Radu Mateescu},
    title = {{CAESAR}{\_}{SOLVE}: A generic library for on-the-fly resolution of alternation-free Boolean equation systems},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Mateescu_2005, doi = {10.1007/s10009-005-0194-9}, url = {https://doi.org/10.1007%2Fs10009-005-0194-9}, year = {2005}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {8}, number = {1}, pages = {37--56}, author = {Radu Mateescu}, title = {{CAESAR}{_}{SOLVE}: A generic library for on-the-fly resolution of alternation-free Boolean equation systems}, journal = {International Journal on Software Tools for Technology Transfer} }