@article{pistori_wainer_1999,  title={Automatic theory formation in graph theory},  volume={6},  ISSN={0104-6500},  url={https://doi.org/10.1590/S0104-65001999000300003},  DOI={10.1590/S0104-65001999000300003},  number={2},  journal={Journal of the Brazilian Computer Society},  publisher={Sociedade Brasileira de Computação},  author={Pistori, Hemerson and Wainer, Jacques},  year={1999} }