@misc {IOPORT.70472266,
    author       = {Bersani, Marcello M. and Frigeri, Achille and Rossi, Matteo and Pietro, Pierluigi San},
    title        = {Completeness of the bounded satisfiability problem for constraint LTL},
    howpublished = {RP, 58-71 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-24288-5_7},
    identifier   = {70472266},
}