An Appreciation of Bob Paige

Martin Davis. An Appreciation of Bob Paige. Higher-Order and Symbolic Computation, 18(1-2):13-13, 2005. [doi]

Bibliographies