Donald W. Loveland. Automated deduction: achievements and future directions. Communications of the ACM, 43(11es):10, 2000. [doi]
@article{Loveland00,
title = {Automated deduction: achievements and future directions},
author = {Donald W. Loveland},
year = {2000},
doi = {10.1145/352515.352529},
url = {http://doi.acm.org/10.1145/352515.352529},
researchr = {https://researchr.org/publication/Loveland00},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {43},
number = {11es},
pages = {10},
}