D
[DD03] Stéphane Demri and Deepak D'Souza. An Automata-Theoretic Approach to Constraint LTL. Research Report LSV-03-11, Lab. Spécification & Vérification, ENS Cachan, France, August 2003. 
@techreport{LSV-03-11-DD,
  author =              {Demri, St{\'e}phane and D'Souza, Deepak},
  title =               {An Automata-Theoretic Approach to Constraint {LTL}},
  number =              {LSV-03-11},
  year =                {2003},
  month =               aug,
  institution =         {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Research Report},
}
List of authors