"A Method for the Determinisation of Propositional Temporal Formulae."

Philippe Noël (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics