On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories.

Stphane Demri, Raul Fervari

Browse the full KR paper archive.