@misc{W1530765221,
  title = {Symbolic Logic and Mechanical Theorem Proving},
  year = {1973},
  howpublished = {Elsevier eBooks},
  doi = {https://doi.org/10.1016/c2009-0-22103-9}
}