@phdthesis{Kup95, author = "O. Kupferman", title = "Model Checking for Branching-Time Temporal Logics", school = "The Technion", year = "1995", }