CITATION STYLE
Kroening, D., & Strichman, O. (2008). Decision Procedures for Propositional Logic. In Decision Procedures (pp. 25–57). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74105-3_2
Mendeley helps you to discover research relevant for your work.