Symbolic Integration using CLIPS | Dr Dobb’s http://www.drdobbs.com/cpp/symbolic-integration-using-clips/184410219