Louise E. Moser P. M. Melliar-Smith Y. S. Ramakrishna G. Kutty Laura K. Dillon Automated Deduction in a Graphical Temporal Logic. 1996 6 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl6.html#MoserMRKD96