Automatic theory formation in graph theory

Hemerson Pistori, Jacques Wainer. Automatic theory formation in graph theory. J. Braz. Comp. Soc., 6(2), 1999.

Abstract

Abstract is missing.