1. Abelson, R. P., Carroll, J. D.: Computer simulation of individual belief systems. Amer. Behay. Scientist 9, 24–30 (1965).
2. Amarel, S.: On the automatic formation of a computer program which represents a theory. In: Self-organizing systems ( Yovits, M., Jacobi, G. T., Goldstein, G. D., Hrsg.). Washington, D.C.: Spartan Books 1964.
3. Amarel, S.: On the mechanization of creative processes. IEEE Spectrum (1966).
4. Amarel, S.: On machine representations of problems of resoning about actions. In: Machine Intelligence 3, 131–170 ( Michie, D., Hrsg.). Edinburgh: Edinburgh University Press 1968.
5. Ash, W. L., Sibley, E. H.: TRAMP: an interpretive associative processor with deductive capabilities. Proc. ACM National Conference (1968).