CITATION STYLE
Wos, L. (1985). Automated Reasoning. The American Mathematical Monthly, 92(2), 85. https://doi.org/10.2307/2322633
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley