CITATION STYLE
Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Van Rossum, P., Schulz, S., & Sebastiani, R. (2005). The MathSAT 3 system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3632 LNAI, pp. 315–321). Springer Verlag. https://doi.org/10.1007/11532231_23
Mendeley helps you to discover research relevant for your work.