David M. Russinoff. An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson s Theorem. Journal of Automated Reasoning, 1(2):121-139, 1985.
@article{Russinoff85,
title = {An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson s Theorem},
author = {David M. Russinoff},
year = {1985},
researchr = {https://researchr.org/publication/Russinoff85},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {1},
number = {2},
pages = {121-139},
}