CITATION STYLE
Automation of Reasoning. (1983). Automation of Reasoning. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-81955-1
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley