An Appreciation of Bob Paige

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

@article{Davis05:0,
  title = {An Appreciation of Bob Paige},
  author = {Martin Davis},
  year = {2005},
  doi = {10.1007/s10990-005-7004-7},
  url = {http://dx.doi.org/10.1007/s10990-005-7004-7},
  researchr = {https://researchr.org/publication/Davis05%3A0},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {18},
  number = {1-2},
  pages = {13},
}