1. Abelson, H., Eisenberg, M., Halfant, M., Katzenelson, J., Sussman, G.J., and Yip, K., 1989, Intelligence in scientific computing, Comm. ACM.
2. Abelson, H. and Sussman, G.J., 1989, The Dynamicist’s Workbench I: Automatic preparation of numerical experiments, in: Symbolic Computation: Applications to Scientific Computing, R. Grossman, ed., volume 5 of Frontiers in Appl. Math. SIAM, Philadelphia.
3. Addanki, S., Cremonini, R., and Penberthy, J.S., 1991, Graphs of models, Artificial Intelligence 51:145–177.
4. Amsterdam, J., 1993, Automated qualitative modeling of dynamic physical systems, Technical Report AI-TR-1412, MIT.
5. Beckstein, C., Stolle, R., and Tobermann, G., 1996, Meta-programming for generalized Horn clause logic, in: META-96, Bonn, Germany, pp. 27–42.