CITATION STYLE
De Moura, L., Owre, S., Rueß, H., Rushby, J., & Shankar, N. (2004). The ICS decision procedures for embedded deduction. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 218–222). Springer Verlag. https://doi.org/10.1007/978-3-540-25984-8_14
Mendeley helps you to discover research relevant for your work.