1. Temporal logic programming;Abadi;Proc. 4th IEEE Symp. on Logic Programming,1987
2. Strategies for modal resolution: results and programs;Auffray;J. Automat. Reason.,1990
3. Modal Logic: An Introduction;Chellas,1980
4. The complexity of theorem proving procedures;Cook;Proc. 3rd Ann. ACM Symp. on Theory of Computing,1971