Craig E. Larson, Nicolas Van Cleemput. Automated conjecturing III - Property-relations conjectures. Annals of Mathematics and Artificial Intelligence, 81(3-4):315-327, 2017. [doi]
@article{LarsonC17-0,
title = {Automated conjecturing III - Property-relations conjectures},
author = {Craig E. Larson and Nicolas Van Cleemput},
year = {2017},
doi = {10.1007/s10472-017-9559-5},
url = {https://doi.org/10.1007/s10472-017-9559-5},
researchr = {https://researchr.org/publication/LarsonC17-0},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {81},
number = {3-4},
pages = {315-327},
}