Satisfiability of CTL* with Constraints.

Claudia Carapelle, Alexander Kartzow, Markus Lohrey

Browse the full CONCUR paper archive.