1. Aitken, J. S., H. Reichgelt and N. Shadbolt, “Resolution theorem proving in reified modal logics,” Journal of Automated Reasoning, vol. 12 (1994), pp. 103–129. Zbl 0810.03009 MR 95k:68195
2. Ballim, A., and Y. Wilks, Artificial Believers: The Ascription of Belief, Lawrence Erlbaum Associates, Hillsdale, 1991.
3. Barwise, J., and J. Perry, Situations and Attitudes, M.I.T. Press, Cambridge, 1983. Zbl 0946.03007 MR 2001h:03051
4. Bledsoe, W., The UT Interactive Theorem Prover, Technical Paper ATP-17B, University of Austin, 1983.
5. Clocksin, W., and R. Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981. Zbl 0466.68009