CITATION STYLE
Bundy, A. (Ed.). (1994). Automated Deduction---\acs{cade}-12. In Automated Deduction---\acs{cade}-12 (Vol. 814).
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley