1. Belnap Jr, N.D.: How a computer should think. In: Ryle, G., Bergström, L. (eds.) Contemporary aspects of philosophy, oxford international symposium, pp. 30–56 (1975)
2. Belnap Jr, N.D.: A useful four-valued logic (summary). In: Dunn, J.M., Epstein, G. (eds.) 1975 international symposium on multiple-valued logic, Bloomington, Indiana, p. 399 (1975)
3. Fages, F.: Associative-commutative unification. In: Shostak, R.E. (ed.) CADE-7, LNCS, vol. 170, pp. 194–208. Springer, Heidelberg (1984)
4. Gelernter, H.: Machine-generated Problem-solving Graphs. Symposium on mathematical theory of automata, pp. 179–203, Polytechnic Press, Brooklyn, N.Y. (1962). Reprinted. In: Siekmann, J., Wrightson, G. (eds.) : Automation of Reasoning, vol 1, pp. 288-312. Springer, Heidelberg (1983)
5. Harrison, J.: Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge (2009)