Hemerson Pistori, Jacques Wainer. Automatic theory formation in graph theory. J. Braz. Comp. Soc., 6(2), 1999.
@article{PistoriW99,
title = {Automatic theory formation in graph theory},
author = {Hemerson Pistori and Jacques Wainer},
year = {1999},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/PistoriW99},
cites = {0},
citedby = {0},
journal = {J. Braz. Comp. Soc.},
volume = {6},
number = {2},
}