Using rewriting rules for connection graphs to prove theoremsC.L. ChangJ.R. Slagle1979Artificial Intelligence
A Clustering and Data-Reorganizing AlgorithmJ.R. SlagleC.-L. Changet al.1975IEEE Transactions on Systems, Man and Cybernetics