International Journal of Automation and Computing · 2012 · 80 citations · 49 references
49
Above the Clouds: A Berkeley View of Cloud Computing
Michael Armbrust, Armando Fox, Rean Griffith et al. · UC Berkeley · 2009 · 5.7K citations
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
Tracy D. Braun, Howard Jay Siegel, Noah Beck et al. · Journal of Parallel and Distributed Computing · 2001 · 1.7K citations