TY  - JOUR 
T1  - Automatic theory formation in graph theory
JO  - Journal of the Brazilian Computer Society
A1  - Pistori, Hemerson
A1  - Wainer, Jacques
SN  - 0104-6500
UL  - 10.1590/S0104-65001999000300003
VL  - 6 
Y1  - 1999
PB  - Brasil 
ER  -