1. Modal theorem proving;Abadi;Proceedings of the 8th International Conference on Automated Deduction, LNCS,1986
2. A useful four-valued logic;Belnap,1977
3. The recursive resolution method for modal logic;Chan;New Generation Computing,1987
4. Proceedings of the 21th International Symposium on Multiple-Valued Logic;Current,1991
5. Linear modal deductions;L.;Proceedings of the 9th International Conference on Automated Deduction, LNCS,1988