"Meta-Reasoning in Executable Temporal Logic."

Howard Barringer et al. (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics