Using rewriting rules for connection graphs to prove theoremsC.L. ChangJ.R. Slagle1979Artificial Intelligence