C.L. Chang (chang-cl)

Contributions to Philosophie.ch

Bibliography

Chang, C. L. 1970. “Renamable Paramodulation for Automatic Theorem Proving with Equality.” Artificial Intelligence 1(3–4): 247–256.
Chang, C. L. and Slagle, James R. 1970. “An Admissible and Optimal Algorithm for Searching AND/OR graphs.” Artificial Intelligence 2(2): 117–128.
Chang, C. L. and Slagle, James R. 1979. “Using Rewriting Rules for Connection Graphs to Prove Theorems.” Artificial Intelligence 12(2): 159–178. Reprinted in Webber and Nilsson (1981, 109–118).

Further References

Webber, Bonnie Lynn and Nilsson, Nils J., eds. 1981. Readings in Artificial Intelligence. San Francisco, California: Morgan Kaufmann Publishers.