Using sophisticated models in resolution theorem proving - Sandford, David M. (Berlin : Springer-Verlag, 1980)
Keywords: Computer architecture