@inproceedings{Clarke_1995,
    doi = {10.1145/217474.217565},
    url = {https://doi.org/10.1145%2F217474.217565},
    year = {1995},
    publisher = {{ACM} Press},
    author = {E. M. Clarke and O. Grumberg and K. L. McMillan and X. Zhao},
    title = {Efficient generation of counterexamples and witnesses in symbolic model checking},
    booktitle = {Proceedings of the 32nd {ACM}/{IEEE} conference on Design automation conference  - {DAC} {\textquotesingle}95}
}

@inproceedings{Clarke_1995, doi = {10.1145/217474.217565}, url = {https://doi.org/10.1145%2F217474.217565}, year = {1995}, publisher = {{ACM} Press}, author = {E. M. Clarke and O. Grumberg and K. L. McMillan and X. Zhao}, title = {Efficient generation of counterexamples and witnesses in symbolic model checking}, booktitle = {Proceedings of the 32nd {ACM}/{IEEE} conference on Design automation conference - {DAC} {\textquotesingle}95} }