Towards an Effective Decision Procedure for LTL formulas with Constraints

by Marco Comini, Laura Titolo, Alicia Villanueva
Venue:In 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055