Synchronized Histories in Prior-Thomason Representation of Branching Time. - Maria Concetta Di Maio; Alberto Zanardo (ICTL, 1994)

A Gabbay-Rule Free Axiomatization of T×W Validity. - Maria Concetta Di Maio; Alberto Zanardo (J. Philos. Log., 1998)