A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Browse the full TIME paper archive.