1. Technical Report;M. C. Chan,1985
2. Chan, M. C., “Automated Reasoning in a Logic of Linear Time by a Functional Approach,” Proc. of 1st Aust. AI Congress, Melbourne, 1986.
3. Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, London: Methuen, 1968.
4. Hughes, G. E., Cresswell, M. J., A Companion to Modal Logic, London: Methuen, 1984.
5. Morgan, C. G., “Methods for Automated Theorem Proving in Nonclassical Logics,”IEEE Transactions on Computers, Vol. C-25 No. 8, pp. 852–862, 1976.