CITATION STYLE
Kupferman, O., Sattler, U., & Vardi, M. Y. (2002). Automated Deduction—CADE-18. (A. Voronkov, Ed.), CADE (Vol. 2392, pp. 423–437). Berlin, Heidelberg: Springer Berlin Heidelberg. Retrieved from http://dblp.uni-trier.de/db/conf/cade/cade2002.html#KupfermanSV02
Mendeley helps you to discover research relevant for your work.