CITATION STYLE
Kroening, D., & Strichman, O. (2008). Introduction and Basic Concepts. In Decision Procedures (pp. 1–23). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74105-3_1
Mendeley helps you to discover research relevant for your work.